OAI/Geometry/Borsuk/Model.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BorsukNine.Vector4 line 7

   Also declared: ComparatorChallenges/BorsukNine.lean:7 (same declaration text).

2. abbrev OAI.BorsukNine.Matrix4 line 8

   Also declared: ComparatorChallenges/BorsukNine.lean:8 (same declaration text).

3. def OAI.BorsukNine.projector line 10

   Also declared: ComparatorChallenges/BorsukNine.lean:10 (same declaration text).

4. def OAI.BorsukNine.projectorSet line 13

   Also declared: ComparatorChallenges/BorsukNine.lean:13 (same declaration text).

5. def OAI.BorsukNine.traceOneSymmetric line 16

   Also declared: ComparatorChallenges/BorsukNine.lean:16 (same declaration text).

6. def OAI.BorsukNine.HasTenSmallCover line 19

   Also declared: ComparatorChallenges/BorsukNine.lean:19 (same declaration text).