Sard's theorem (source code)

= Sard's theorem
{wiki=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.