OAI/Algebra/OddKaplansky/IncidenceCycles.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OddKaplansky.Planar.incidenceColoring line 13
2. lemma OAI.OddKaplansky.Planar.incidence_walk_even line 18
3. lemma OAI.OddKaplansky.Planar.getVert_even_left line 21
4. lemma OAI.OddKaplansky.Planar.getVert_odd_right line 32
5. lemma OAI.OddKaplansky.Planar.cycle_polygon_left line 43
6. lemma OAI.OddKaplansky.Planar.cycle_polygon line 89