The inverse image of a regular value of a smooth map is a submanifold of codimension equal to the target dimension.
The Preimage Theorem is a result in topology, specifically in the context of continuous functions and topological spaces. It provides insight into how continuous functions behave with respect to the structure of topological spaces.
New to topics? Read the docs here!