OAI/Geometry/CAT0Fillings/Bubble/
29 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Beta.lean 10 declarations
- Euclidean.lean 6 declarations
- Moments.lean 13 declarations
OAI/Geometry/CAT0Fillings/Bubble/29 declarations, 0 contain sorry, 0 declared as axioms; 3 files