OAI/Algebra/OddKaplansky/SimplexCount.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.OddKaplansky.SimplexCount.Triangle line 10
2. abbrev OAI.OddKaplansky.SimplexCount.Tetrahedron line 11
3. lemma OAI.OddKaplansky.SimplexCount.card_triangle_succ line 13
4. lemma OAI.OddKaplansky.SimplexCount.card_tetrahedron_succ line 16
5. lemma OAI.OddKaplansky.SimplexCount.card_triangle line 24
6. lemma OAI.OddKaplansky.SimplexCount.card_tetrahedron line 30
7. abbrev OAI.OddKaplansky.SimplexCount.Deficit line 37
8. def OAI.OddKaplansky.SimplexCount.deficitEquiv line 39
9. lemma OAI.OddKaplansky.SimplexCount.card_deficit line 58
10. lemma OAI.OddKaplansky.SimplexCount.twice_triangle line 61
11. lemma OAI.OddKaplansky.SimplexCount.six_tetrahedron line 65