Statement For and smooth manifolds (with or without boundary) and is a smooth map. The set of critical values of has measure 0 in . Proof todo Resources @lee2013 - Chapter 6