FormalConjecturesForMathlib/Geometry/Group/
24 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Hyperbolic.lean 4 declarations
- WordMetric.lean 13 declarations
- WordProd.lean 7 declarations