OAI/Geometry/CylinderCovering/Convexity/GlobalDefinitions.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CylinderCovering.Space line 12

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

2. def OAI.CylinderCovering.IsRegularTetrahedron line 14

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

3. def OAI.CylinderCovering.shadowArea line 20

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

4. def OAI.CylinderCovering.minimumShadowArea line 23

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

5. def OAI.CylinderCovering.triangularCovers line 26

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

6. def OAI.CylinderCovering.triangularRelativeCost line 30

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

7. def OAI.CylinderCovering.relativeCost line 34

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

8. def OAI.CylinderCovering.AngularExplicitStatement line 38

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

9. def OAI.CylinderCovering.RegularTriangularCounterexampleStatement line 41

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

10. def OAI.CylinderCovering.RegularParallelogramCounterexampleStatement line 48

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

11. def OAI.CylinderCovering.RegularOpenCounterexampleStatement line 56

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