OAI/Geometry/DoublingHilbert/
332 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- Auerbach.lean 2 declarations
- ClusterCover.lean 2 declarations
- ClusterPlacement.lean 1 declarations
- ClusterScales.lean 9 declarations
- CompactBanach.lean 1 declarations
- CompactModel.lean 2 declarations
- CompactUnion.lean 1 declarations
- Construction.lean 61 declarations
- CoordinateMap.lean 3 declarations
- CoordinateSupport.lean 8 declarations
- CoverTransfer.lean 2 declarations
- Crossings.lean 21 declarations
- Derivatives.lean 20 declarations
- Doubling.lean 21 declarations
- Energy.lean 19 declarations
- Extremal.lean 9 declarations
- FiniteCompactness.lean 3 declarations
- FinitePlacement.lean 2 declarations
- FiniteTargets.lean 1 declarations
- FiniteWitness.lean 2 declarations
- Grids.lean 24 declarations
- Integration.lean 22 declarations
- IntrinsicCovers.lean 3 declarations
- Main.lean 3 declarations
- Model.lean 3 declarations
- Rectangles.lean 52 declarations
- SelectedSheets.lean 32 declarations
- SparseCoordinates.lean 3 declarations