OAI/Geometry/CAT0Fillings/Isoperimetry/
10 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- SmallCells.lean 6 declarations
- SmallSets.lean 4 declarations
OAI/Geometry/CAT0Fillings/Isoperimetry/10 declarations, 0 contain sorry, 0 declared as axioms; 2 files