OAI/Geometry/CylinderCovering/Footprints/FiniteDefinitions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CylinderCovering.CanonicalFootprintFinite.rotation line 12
2. def OAI.CylinderCovering.CanonicalFootprintFinite.midpoint line 14
3. def OAI.CylinderCovering.CanonicalFootprintFinite.leftTag line 17
4. def OAI.CylinderCovering.CanonicalFootprintFinite.absoluteFeet line 19
5. def OAI.CylinderCovering.CanonicalFootprintFinite.affineFeet line 22
6. def OAI.CylinderCovering.CanonicalFootprintFinite.endpointFeet line 25
7. def OAI.CylinderCovering.CanonicalFootprintFinite.localCost line 28
8. def OAI.CylinderCovering.CanonicalFootprintFinite.FamilyConclusion line 31
9. def OAI.CylinderCovering.CanonicalFootprintFinite.Statement line 54