P
Initializing...
Proposition 1.1 (Béguin–Bonatti–Yu): gluing two hyperbolic plugs gives a hyperbolic plug · Prove2Me