Sard theorem (source code)

= Sard theorem
{c}
{wiki=Sard's_theorem}

For a smooth map between smooth manifolds, the set of critical values has measure zero in the target. In particular, regular values are dense.