OAI/Geometry/CylinderCovering/Barycentric/
257 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- CanonicalEnclosure.lean 7 declarations
- CanonicalMapDefinitions.lean 5 declarations
- Closure.lean 19 declarations
- Core.lean 1 declarations
- CoreDefinitions.lean 1 declarations
- Correspondence.lean 20 declarations
- Cost.lean 10 declarations
- Coverage.lean 7 declarations
- EmbeddingArea.lean 4 declarations
- Enclosure.lean 1 declarations
- EnclosureDefinitions.lean 3 declarations
- Finite.lean 17 declarations
- FiniteDefinitions.lean 14 declarations
- LocalDictionary.lean 28 declarations
- Metric.lean 23 declarations
- MetricDefinitions.lean 10 declarations
- ProjectionFactor.lean 10 declarations
- Radial.lean 10 declarations
- Sector.lean 25 declarations
- SectorDefinitions.lean 4 declarations
- SectorFinite.lean 1 declarations
- SectorNeighborhood.lean 11 declarations
- SectorNeighborhoodDefinitions.lean 3 declarations
- SweepCompact.lean 17 declarations
- SweepsDefinitions.lean 6 declarations