OAI/Topology/ArtinGroups/Quivers/EdgeContraction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.edgeContraction line 13
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.braidCoreDifferential line 21
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.braidRawCoreDifferential line 37
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.arrowBasis_right_vertex line 43
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.arrowBasis_coordinates_self line 48
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.simpleEdge_arrow_right line 52
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.normalizedBraidTwist_core line 56