OAI/GroupTheory/Kervaire/VertexJoin.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.KervaireRibbon.planar_vertex_join line 14
2. lemma OAI.KervaireRibbon.card_quotient_ker line 30
3. lemma OAI.KervaireRibbon.sumPerm_zpow line 43
4. lemma OAI.KervaireRibbon.sameCycle_sumPerm line 48
5. lemma OAI.KervaireRibbon.numCycles_sumPerm line 59
6. lemma OAI.KervaireRibbon.components_sumPerm line 69
7. lemma OAI.KervaireRibbon.planar_sumPerm line 99
8. lemma OAI.KervaireRibbon.planar_one_right line 114