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.
New to topics? Read the docs here!