OAI/Topology/ArtinGroups/Complexes/HomDimension.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.HarmonicArtin.ReversibleQuiver.Zigzag.finiteDimensional line 13
2. def OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.homDimension line 20
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.HomotopyEquivalence.homDimension_eq line 25
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.positiveTwist_homDimension line 34
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.negativeTwist_homDimension line 49