OAI/Geometry/Borsuk/Support/AllPairs.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BorsukNine.Admissible.all_pairs line 14
2. def OAI.BorsukNine.SixCounting.triangles line 42
3. lemma OAI.BorsukNine.SixCounting.mem_triangles line 46
4. lemma OAI.BorsukNine.SixCounting.pair_incidence_count line 50
5. lemma OAI.BorsukNine.SixCounting.complement_triangle line 75
6. lemma OAI.BorsukNine.SixCounting.triangle_count_upper line 82
7. lemma OAI.BorsukNine.SixCounting.triangle_count_eq_ten line 110
8. lemma OAI.BorsukNine.SixCounting.pair_degree_eq_two line 124
9. lemma OAI.BorsukNine.SixCounting.complementary_iff line 135