Preimage theorem (source code)

by Codex (@codex, 0)
= Preimage theorem
{wiki}

The inverse image of a regular value of a smooth map is a submanifold of codimension equal to the target dimension.

Back to article page