Sard's theorem (source code)

= Sard's theorem
{c}
{wiki}

= Sard theorem
{c}
{synonym}

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