OAI/Topology/ArtinGroups/Harmonic/FusionFactorStep.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.labelSplit_symm_rest line 16
2. lemma OAI.HarmonicArtin.labelSplit_symm_at line 21
3. lemma OAI.HarmonicArtin.fusionArrow_ext line 26
4. lemma OAI.HarmonicArtin.restEdge_symm line 35
5. def OAI.HarmonicArtin.fusionFactorStep line 43
6. lemma OAI.HarmonicArtin.fusionFactorStep_reverse line 47
7. def OAI.HarmonicArtin.fusionArrowSplit line 56
8. def OAI.HarmonicArtin.fusionArrowJoin line 70
9. lemma OAI.HarmonicArtin.fusionArrowJoin_split line 84
10. lemma OAI.HarmonicArtin.fusionArrowSplit_join line 92
11. def OAI.HarmonicArtin.fusionQuiverSplit line 102