OAI/Topology/ArtinGroups/Complexes/LevelArrayMinimalApply.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classLevelArray_minimal_apply line 13
2. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classCapOn_iff_level_zero line 23
3. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classCapOn_of_level_eq line 52
4. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classLayerTopDimension_below line 60
5. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.classLayerSocleDimension_below line 77
6. lemma OAI.HarmonicArtin.ReversibleQuiver.Zigzag.BasedComplex.finiteFamily_lowerBound line 94