OAI/Geometry/CylinderCovering/Angular/
645 declarations, 0 contain sorry, 0 declared as axioms; 80 files
Files
- Admissibility.lean 3 declarations
- Aperture.lean 8 declarations
- ApertureDefinitions.lean 4 declarations
- AreaRefinement.lean 5 declarations
- Caps.lean 11 declarations
- CapsDefinitions.lean 10 declarations
- CartesianDirect.lean 7 declarations
- CartesianFailure.lean 5 declarations
- CartesianObstruction.lean 4 declarations
- CartesianRemainder.lean 6 declarations
- CartesianSelectedCover.lean 1 declarations
- CartesianSelectedPair.lean 2 declarations
- CartesianTaylor.lean 7 declarations
- Construction.lean 13 declarations
- ConstructionDefinitions.lean 9 declarations
- Cubic.lean 14 declarations
- CubicArea.lean 19 declarations
- CubicAreaDefinitions.lean 4 declarations
- CubicCost.lean 8 declarations
- CubicCoverDefinitions.lean 22 declarations
- CubicEstimates.lean 5 declarations
- CubicFamily.lean 9 declarations
- CubicMain.lean 5 declarations
- CubicRescaled.lean 3 declarations
- CubicRescaledDefinitions.lean 1 declarations
- CubicScaledFamily.lean 11 declarations
- CubicTheorem.lean 2 declarations
- CubicTheoremDefinitions.lean 2 declarations
- DirectBounds.lean 3 imports, no declarations
- Endpoint.lean 30 declarations
- EndpointCover.lean 2 declarations
- EndpointCoverDefinitions.lean 1 declarations
- EndpointDefinitions.lean 6 declarations
- EndpointScaled.lean 4 declarations
- EndpointScaledDefinitions.lean 2 declarations
- EqualPartition.lean 6 declarations
- Estimates.lean 14 declarations
- Extensions.lean 1 declarations
- ExtensionsCore.lean 1 declarations
- ExtensionsDefinitions.lean 2 declarations
- Family.lean 5 declarations
- FamilyDefinitions.lean 9 declarations
- GeneralArea.lean 1 declarations
- GeneralAssembly.lean 2 declarations
- GeneralCap.lean 13 declarations
- GeneralCost.lean 3 declarations
- GeneralCoverage.lean 8 declarations
- GeneralDefinitions.lean 25 declarations
- GeneralFamilyCosts.lean 6 declarations
- GeneralGeometry.lean 27 declarations
- GeneralGeometryDefinitions.lean 1 declarations
- GeneralTheorem.lean 1 declarations
- GeneralTriangles.lean 6 declarations
- GeneralVolume.lean 3 declarations
- Geometry.lean 16 declarations
- GeometryDefinitions.lean 5 declarations
- InterceptDefinitions.lean 2 declarations
- Margins.lean 24 declarations
- MarginsDefinitions.lean 10 declarations
- OrdinaryCaps.lean 22 declarations
- OrdinaryCapsDefinitions.lean 10 declarations
- OrdinaryCover.lean 2 declarations
- Partition.lean 6 declarations
- PartitionIdentities.lean 8 declarations
- SampledCover.lean 1 declarations
- Sampling.lean 19 declarations
- SamplingArea.lean 13 declarations
- SharpArea.lean 10 declarations
- SquaredDirect.lean 13 declarations
- SquaredDirectDefinitions.lean 1 declarations
- Table.lean 23 declarations
- TableConsequences.lean 7 declarations
- TableCover.lean 8 declarations
- TableCoverDefinitions.lean 12 declarations
- TableDefinitions.lean 11 declarations
- TableFamilyCosts.lean 8 declarations
- TableGeometry.lean 12 declarations
- TableGeometryDefinitions.lean 9 declarations
- Taylor.lean 2 declarations
- ZeroTilt.lean 12 declarations