OAI/Topology/ArtinGroups/Quivers/PathTwoSelf.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.pathTwo_eq_self line 10
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.pathTwo_eq_zero line 17
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.pathTwo_mul_linear_left line 23
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.pathTwo_mul_linear_right line 38
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.matrixOne_entries line 55
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.matrixOne_degree line 70
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.matrixTwo_mul_linear_left line 80
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.matrixTwo_mul_linear_right line 90
9. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.token_boundary_primitive line 102