P

Initializing...

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