Statement Every [[20231222094707-smooth_manifold|smooth -manifold]] with or without boundary admits a proper smooth embedding into . Proof todo Resources @lee2013 - Chapter 6