OAI/Topology/ArtinGroups/Complexes/ColorSupport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ClassColorSupport line 13
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ClassOutsideFloor line 16
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classNegativeTwist_outside_floor line 20
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.inverseWord_outside_floor line 36
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPositiveTwist_colorSupport line 45
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.positiveWord_colorSupport line 61
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.canonicalWordLow_colorSupport line 70
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.canonicalReducedWordLow_monic line 86
9. theorem OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.canonicalReducedWordLow_halfspace line 109