OAI/Geometry/CylinderCovering/Angular/ConstructionDefinitions.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularCovering.lowerAngularIndex line 11

   Also declared: ComparatorChallenges/CylinderCovering.lean:168 (same declaration text).

2. def OAI.TriangularCovering.upperAngularIndex line 14

   Also declared: ComparatorChallenges/CylinderCovering.lean:171 (same declaration text).

3. def OAI.TriangularCovering.lowerAngularAxis line 17

   Also declared: ComparatorChallenges/CylinderCovering.lean:174 (same declaration text).

4. def OAI.TriangularCovering.upperAngularAxis line 22

   Also declared: ComparatorChallenges/CylinderCovering.lean:179 (same declaration text).

5. def OAI.TriangularCovering.lowerAngularBase line 27

   Also declared: ComparatorChallenges/CylinderCovering.lean:184 (same declaration text).

6. def OAI.TriangularCovering.upperAngularBase line 33

   Also declared: ComparatorChallenges/CylinderCovering.lean:190 (same declaration text).

7. def OAI.TriangularCovering.ExplicitAngularFamily line 39

   Also declared: ComparatorChallenges/CylinderCovering.lean:196 (same declaration text).

8. def OAI.TriangularCovering.AngularAreaStatement line 46

   Also declared: ComparatorChallenges/CylinderCovering.lean:203 (same declaration text).

9. def OAI.TriangularCovering.ExplicitAngularStatement line 54

   Also declared: ComparatorChallenges/CylinderCovering.lean:211 (same declaration text).