Morse-Sard Theorem

Theorem
If $f: X \to Y$ is any smooth map of manifolds, then almost every point in $Y$ is a regular value of $f$.

Also known as the Morse-Sard Theorem or Sard's Lemma.

Proof
In progress