Hello all. I was just wondering, is the regular value theorem an 'iff'? I mean this in the following sense: If I take f\in R[x_1,\dots,x_n] and take f^{-1}(c) where c is a regular value, then I know that this is a smooth submanifold of R^n.
But in general, if c isn't a regular value, then f^{-1}(c) is surely still a topological submanifold, but it may not be smooth. Can it ever be the case that f^{-1}(c) is still a smooth manifold, yet c is not regular?