OAI/Topology/ArtinGroups/Quivers/SignDiagonal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.signDiagonal line 15
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.signDiagonal_entries line 19
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.signDiagonal_degree line 32
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.signDiagonal_square line 48
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.signDiagonal_mul line 56
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.mul_signDiagonal line 63
7. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.signChainIsomorphism line 70