P
Initializing...
Theorem 1.5 (Béguin–Bonatti–Yu): gluing a hyperbolic plug to itself yields an Anosov flow · Prove2Me