OAI/Topology/ArtinGroups/Complexes/EqualColorPair.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.EqualColorPair line 12
2. abbrev OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ArrowPair line 15
3. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.zeroCornerEquiv line 19
4. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.tokenCornerEquiv line 40
5. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.arrowCornerEquiv line 61
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.pure_generator_euler line 79