OAI/Geometry/CylinderCovering/Beams/
363 declarations, 0 contain sorry, 0 declared as axioms; 42 files
Files
- Algebra.lean 16 declarations
- BeamStrip.lean 37 declarations
- Core.lean 5 declarations
- Cost.lean 37 declarations
- CostDefinitions.lean 10 declarations
- Coverage.lean 9 declarations
- ExplicitTriangles.lean 3 declarations
- Finite.lean 5 declarations
- Full.lean 1 declarations
- FullDefinitions.lean 13 declarations
- FullStatement.lean 1 declarations
- Geometry.lean 14 declarations
- Main.lean 8 declarations
- MainDefinitions.lean 6 declarations
- Midsection.lean 6 declarations
- Neighborhood.lean 11 declarations
- NeighborhoodArea.lean 8 declarations
- NeighborhoodCovers.lean 2 declarations
- NeighborhoodCoversDefinitions.lean 3 declarations
- NeighborhoodDefinitions.lean 10 declarations
- NeighborhoodEnclosure.lean 4 declarations
- NeighborhoodFinite.lean 13 declarations
- NeighborhoodIntrinsic.lean 5 declarations
- NeighborhoodRealizationDefinitions.lean 10 declarations
- NeighborhoodRiemann.lean 5 declarations
- NeighborhoodSimilarity.lean 6 declarations
- NeighborhoodSimilarityDefinitions.lean 2 declarations
- PositivePart.lean 6 declarations
- ProjectionFactor.lean 16 declarations
- ProjectionFactorDefinitions.lean 6 declarations
- Radial.lean 24 declarations
- Rectangle.lean 2 declarations
- RectangleCylinder.lean 2 declarations
- RectangleSimilarity.lean 2 declarations
- SectorGeometry.lean 7 declarations
- ShapeCompact.lean 4 declarations
- ShapeEquivalence.lean 5 declarations
- ShortenedBeamStrip.lean 6 declarations
- StatementsDefinitions.lean 2 declarations
- StripDefinitions.lean 14 declarations
- StripFinite.lean 5 declarations
- sDefinitions.lean 12 declarations