OAI/Geometry/CylinderCovering/Physical/
450 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- CapFinite.lean 12 declarations
- CapFiniteDefinitions.lean 6 declarations
- CapMarginThreshold.lean 2 declarations
- CapNormalized.lean 4 declarations
- CapNormalizedDefinitions.lean 3 declarations
- CoordinateStatementDefinitions.lean 1 declarations
- Coordinates.lean 34 declarations
- CoordinatesDefinitions.lean 21 declarations
- Cost.lean 14 declarations
- CostDefinitions.lean 1 declarations
- CostVariants.lean 28 declarations
- CostVariantsDefinitions.lean 5 declarations
- Coverage.lean 6 declarations
- Finite.lean 27 declarations
- FiniteDefinitions.lean 13 declarations
- FiniteLimits.lean 4 declarations
- FootprintRate.lean 6 declarations
- HalfTilt.lean 1 declarations
- LocalDictionary.lean 20 declarations
- Minimum.lean 19 declarations
- MinimumDefinitions.lean 2 declarations
- MinimumExamples.lean 2 declarations
- PaddedCosts.lean 4 declarations
- PaddedFinite.lean 16 declarations
- PaddedFiniteDefinitions.lean 6 declarations
- Paired.lean 8 declarations
- PairedDefinitions.lean 11 declarations
- PhysicalFootprints.lean 28 declarations
- PhysicalFootprintsDefinitions.lean 8 declarations
- ProjectionDictionary.lean 12 declarations
- Support.lean 4 imports, no declarations
- SweepTransport.lean 26 declarations
- TetrahedronMinimum.lean 3 declarations
- Triangles.lean 34 declarations
- TrianglesDefinitions.lean 13 declarations
- UnitEdgeFootprints.lean 22 declarations
- UnitEdgeFootprintsDefinitions.lean 18 declarations
- WeightLipschitz.lean 10 declarations