OAI/Geometry/ProjectionVolume/Model.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Paper092.simplexConstant line 12

   Also declared: ComparatorChallenges/ProjectionVolume.lean:12 (same declaration text).

2. abbrev OAI.Paper092.Euclidean line 15

   Also declared: ComparatorChallenges/ProjectionVolume.lean:15 (same declaration text).

3. def OAI.Paper092.normalHyperplane line 17

   Also declared: ComparatorChallenges/ProjectionVolume.lean:17 (same declaration text).

4. def OAI.Paper092.projectionVolume line 20

   Also declared: ComparatorChallenges/ProjectionVolume.lean:20 (same declaration text).

5. def OAI.Paper092.brightness line 24

   Also declared: ComparatorChallenges/ProjectionVolume.lean:24 (same declaration text).

6. def OAI.Paper092.projectionBody line 27

   Also declared: ComparatorChallenges/ProjectionVolume.lean:27 (same declaration text).

7. def OAI.Paper092.normalizedProjectionVolume line 30

   Also declared: ComparatorChallenges/ProjectionVolume.lean:30 (same declaration text).

8. def OAI.Paper092.standardSimplex line 33

   Also declared: ComparatorChallenges/ProjectionVolume.lean:33 (same declaration text).

9. def OAI.Paper092.firstBlock line 36

   Also declared: ComparatorChallenges/ProjectionVolume.lean:36 (same declaration text).

10. def OAI.Paper092.secondBlock line 39

    Also declared: ComparatorChallenges/ProjectionVolume.lean:39 (same declaration text).

11. def OAI.Paper092.productWitness line 42

    Also declared: ComparatorChallenges/ProjectionVolume.lean:42 (same declaration text).