OAI/Geometry/Cannon/Main.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A group with a hyperbolic Cayley graph and spherical boundary admits a proper, cocompact action on hyperbolic three-space with finite kernel.

  1. theorem OAI.CannonRelease.cannon line 23

    Distinct definitions of this name: ComparatorChallenges/CannonGeometricAction.lean:89 (same statement text; different proof or body). Qualify references as OAI.CannonRelease.cannon@path.