P
Initializing...
Lemma 3.27 (Béguin–Bonatti–Yu), self-gluing case: the glued manifold U/φ exists · Prove2Me