OAI/Topology/ArtinGroups/Functors/LayerIndexEquiv.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.layerIndexEquiv line 28
2. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.layer_eq line 37
3. def OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.layerComparison line 44
4. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.classLabel_complex line 55
5. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.classLabel_layer line 58
6. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.classLayerSocleDimension_label line 69
7. lemma OAI.HarmonicArtin.ReversibleQuiver.StringFunctor.classLayerTopDimension_label line 85