OAI/GroupTheory/Hyperbolic/
900 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- BasedWords.lean 30 declarations
- CayleyMetric.lean 13 declarations
- CayleyPaths.lean 9 declarations
- Chains.lean 34 declarations
- CyclicAction.lean 24 declarations
- Dipoles.lean 15 declarations
- DiscreteMetric.lean 55 declarations
- FullChains.lean 26 declarations
- FullFilling.lean 14 declarations
- FullGluing.lean 16 declarations
- Hyperbolicity.lean 2 declarations
- Incidence.lean 70 declarations
- LiftedFilling.lean 36 declarations
- Links.lean 22 declarations
- Main.lean 1 declarations
- MatrixRank.lean 67 declarations
- Model.lean 4 declarations
- PermutationCycles.lean 45 declarations
- Planarity.lean 37 declarations
- Presentation.lean 68 declarations
- RePairing.lean 43 declarations
- Rectangles.lean 7 declarations
- Ribbons.lean 72 declarations
- Spheres.lean 20 declarations
- ThinTriangles.lean 19 declarations
- Torsion.lean 2 declarations
- TriangleFilling.lean 44 declarations
- WordPaths.lean 54 declarations
- Words.lean 51 declarations