P
Initializing...
Theorem 1.9 (Béguin–Bonatti–Yu): a 3-manifold with both transitive and nontransitive Anosov flows · Prove2Me