OAI/Geometry/CAT0Fillings/Scaling/
26 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Extremal.lean 7 declarations
- HighCoefficient.lean 1 declarations
- Metric.lean 18 declarations
OAI/Geometry/CAT0Fillings/Scaling/26 declarations, 0 contain sorry, 0 declared as axioms; 3 files