OAI/Geometry/CylinderCovering/Footprints/
194 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- Area.lean 11 declarations
- Bridge.lean 4 declarations
- Certificates.lean 1 declarations
- CertificatesDefinitions.lean 1 declarations
- Containment.lean 10 declarations
- Convergence.lean 4 declarations
- ConvergenceDefinitions.lean 4 declarations
- Finite.lean 17 declarations
- FiniteDefinitions.lean 9 declarations
- Footprints.lean 34 declarations
- FootprintsDefinitions.lean 3 declarations
- Limits.lean 5 declarations
- PhysicalConvergence.lean 5 declarations
- PhysicalConvergenceDefinitions.lean 4 declarations
- Polygon.lean 13 declarations
- PolygonDefinitions.lean 4 declarations
- Projection.lean 4 declarations
- ProjectionDefinitions.lean 2 declarations
- QuadraticFootprintsDefinitions.lean 6 declarations
- QuadraticPhysicalFootprints.lean 29 declarations
- QuadraticPhysicalFootprintsDefinitions.lean 8 declarations
- Shapes.lean 14 declarations
- ShapesDefinitions.lean 2 declarations