OAI/Geometry/CylinderCovering/Radial/
566 declarations, 0 contain sorry, 0 declared as axioms; 65 files
Files
- ActualEndpoint.lean 10 declarations
- ActualSweep.lean 11 declarations
- Alignment.lean 3 declarations
- AreaConvergence.lean 10 declarations
- Assembly.lean 16 declarations
- CapCosts.lean 29 declarations
- CapCoverage.lean 9 declarations
- CapVariants.lean 6 declarations
- CapVariantsDefinitions.lean 5 declarations
- CapsDefinitions.lean 8 declarations
- CollarRate.lean 9 declarations
- Coordinates.lean 23 declarations
- CoordinatesDefinitions.lean 22 declarations
- EqualityCover.lean 19 declarations
- EqualityCoverDefinitions.lean 5 declarations
- FinitePair.lean 8 declarations
- FinitePairDefinitions.lean 3 declarations
- Freezing.lean 5 declarations
- InducedField.lean 1 declarations
- InducedFieldDefinitions.lean 1 declarations
- Integral.lean 7 declarations
- Intercept.lean 6 declarations
- JointFailure.lean 2 declarations
- Nilpotent.lean 11 declarations
- Overlap.lean 6 declarations
- OverlapBounds.lean 10 declarations
- OverlapDefinitions.lean 7 declarations
- OverlapQuantitative.lean 3 declarations
- OverlapQuantitativeDefinitions.lean 3 declarations
- PairedActual.lean 11 declarations
- PairedActualDefinitions.lean 7 declarations
- PairedSweep.lean 28 declarations
- PairedSweepDefinitions.lean 9 declarations
- PartitionAffine.lean 12 declarations
- PartitionCover.lean 4 declarations
- PolygonProjection.lean 1 declarations
- Projection.lean 15 declarations
- ProjectionShapes.lean 8 declarations
- Regularity.lean 6 declarations
- Riemann.lean 32 declarations
- RiemannDefinitions.lean 7 declarations
- SectorArea.lean 11 declarations
- SectorEuclidean.lean 15 declarations
- SectorWeighted.lean 7 declarations
- SetProjection.lean 10 declarations
- SqrtActual.lean 4 declarations
- SqrtActualDefinitions.lean 4 declarations
- SqrtCap.lean 17 declarations
- SqrtCapDefinitions.lean 4 declarations
- SqrtRealization.lean 3 declarations
- SqrtRealizationDefinitions.lean 2 declarations
- SweepDefinitions.lean 23 declarations
- TetraGeometry.lean 7 declarations
- TetraGeometryDefinitions.lean 2 declarations
- Triangle.lean 16 declarations
- TriangleDefinitions.lean 4 declarations
- UniformApproximation.lean 3 declarations
- UniformApproximationDefinitions.lean 4 declarations
- UniformTags.lean 7 declarations
- Variants.lean 1 declarations
- VariantsCore.lean 1 declarations
- VariantsCoreDefinitions.lean 1 declarations
- VariantsDefinitions.lean 1 declarations
- ZeroCapDefinitions.lean 1 declarations
- ZeroCapSeparation.lean 20 declarations