Morse-Sard Theorem

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

Proof
In progress