OAI/Geometry/CAT0Fillings/Compactness/
82 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- Ascoli.lean 4 declarations
- Atlas.lean 7 declarations
- BV.lean 9 declarations
- Borel.lean 4 declarations
- ChartDensity.lean 8 declarations
- Convolution.lean 4 declarations
- Coordinates.lean 12 declarations
- Interpolation.lean 6 declarations
- IntrinsicBV.lean 11 declarations
- Projected.lean 6 declarations
- Tails.lean 7 declarations
- Translation.lean 4 declarations