OAI/Topology/ArtinGroups/Quivers/SelfCornerEquiv.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.selfCornerEquiv line 10
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.selfCornerEquiv_false line 28
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.selfCornerEquiv_true line 30
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.diagonal_corner_decomposition line 35
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.cornerPath_basis_dual_token line 49
6. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.unitContraction line 70
7. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.testToken line 77
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.evaluation_coevaluation line 81