OAI/Topology/ArtinGroups/Harmonic/FusionVertex.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.HarmonicArtin.FusionVertex line 13
2. abbrev OAI.HarmonicArtin.FusionQuiverArrow line 15
3. def OAI.HarmonicArtin.fusionArrowReverse line 18
4. lemma OAI.HarmonicArtin.fusionArrowReverse_twice line 23
5. def OAI.HarmonicArtin.fusionQuiver line 28
6. lemma OAI.HarmonicArtin.fusionQuiver_no_loops line 42
7. def OAI.HarmonicArtin.fusionArrowAtEquiv line 52
8. lemma OAI.HarmonicArtin.fusionQuiver_arrow_count line 68
9. lemma OAI.HarmonicArtin.fusionQuiver_same_color line 75