OAI/Topology/ArtinGroups/Complexes/TestExact.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ClassTestExact line 13
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.ClassTestUpper line 22
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classTestUpper_model line 25
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classTestExact_positive_self line 28
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classTestExact_positive_other line 35
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classTestExact_positive_adjacent line 42
7. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPositiveTwist_testUpper line 49
8. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPositiveTwist_testUpper_reflect line 55
9. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classPositiveTwist_testUpper_iff line 61