OAI/Geometry/Borsuk/Support/SixFaces.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BorsukNine.Admissible.six_complement_exclusion line 13
2. lemma OAI.BorsukNine.Admissible.six_pair_lower line 25
3. lemma OAI.BorsukNine.Admissible.six_complementary line 49
4. lemma OAI.BorsukNine.Admissible.six_pair_degree line 65
5. lemma OAI.BorsukNine.pair_triangle_card line 77
6. lemma OAI.BorsukNine.Admissible.six_pair_count line 105