OAI/Geometry/CylinderCovering/Caps/
266 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- CapRegularity.lean 5 declarations
- Caps.lean 10 declarations
- CapsDefinitions.lean 13 declarations
- Certificates.lean 3 declarations
- CertificatesDefinitions.lean 5 declarations
- CompensationEstimates.lean 16 declarations
- CoverageBounds.lean 14 declarations
- FiniteArea.lean 28 declarations
- FiniteAsymptotics.lean 13 declarations
- FiniteCylinders.lean 3 declarations
- FiniteDefinitions.lean 28 declarations
- FiniteGeometry.lean 15 declarations
- FiniteLimit.lean 4 declarations
- FiniteProperties.lean 7 declarations
- FiniteShape.lean 33 declarations
- FiniteShapes.lean 17 declarations
- FiniteTheorem.lean 6 declarations
- FractionalDefinitions.lean 2 declarations
- FractionalEstimates.lean 12 declarations
- Geometry.lean 7 declarations
- Symmetry.lean 10 declarations
- TrapezoidGeometry.lean 4 declarations
- TrapezoidGeometryDefinitions.lean 2 declarations
- TrapezoidShapes.lean 9 declarations