Sard's theorem

Sard's theorem is a result in differential topology that pertains to the behavior of smooth functions between manifolds. Specifically, it addresses the notion of the image of a smooth function and the measure of its critical values.