OAI/Geometry/CylinderCovering/Simplex/
111 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- Chord.lean 13 declarations
- Diameter.lean 19 declarations
- DiameterBridge.lean 11 declarations
- DiameterDefinitions.lean 2 declarations
- LayerCake.lean 11 declarations
- MetricNormalizationDefinitions.lean 1 declarations
- OverlapVolume.lean 7 declarations
- Projection.lean 29 declarations
- ProjectionDefinitions.lean 10 declarations
- ProjectionIdentity.lean 7 declarations
- ZeroShift.lean 1 declarations