OAI/Combinatorics/TriangleFace/Model.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CanonicalFace198.facesThrough line 10

   Also declared: ComparatorChallenges/TriangleFace.lean:128 (same declaration text).

2. def OAI.CanonicalFace198.minFace line 13

   Also declared: ComparatorChallenges/TriangleFace.lean:131 (same declaration text).

3. def OAI.TriangleFace198.LocalLabels line 23

   Also declared: ComparatorChallenges/TriangleFace.lean:141 (same declaration text).

4. def OAI.TriangleFace198.localEdge line 26

   Also declared: ComparatorChallenges/TriangleFace.lean:144 (same declaration text).

5. def OAI.TriangleFace198.localExtension line 29

   Also declared: ComparatorChallenges/TriangleFace.lean:147 (same declaration text).

6. def OAI.TriangleFace198.oldRestriction line 35

   Also declared: ComparatorChallenges/TriangleFace.lean:153 (same declaration text).