`OAI/Geometry/CAT0Fillings/Fillings/`

42 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Attainment.lean 12 declarations
Compact.lean 5 declarations
ConeBound.lean 2 declarations
Existence.lean 2 declarations
WeightedCone.lean 21 declarations