OAI/RingTheory/Multiplicity/ReesRootG.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.ReesRoot.baseTwist line 37
2. def OAI.Lech.ReesRoot.enlargedOn line 39
3. lemma OAI.Lech.ReesRoot.enlarged_twist line 46
4. def OAI.Lech.ReesRoot.enlargedTermEquiv line 55
5. lemma OAI.Lech.ReesRoot.enlargedTermEquiv_val line 67
6. def OAI.Lech.ReesRoot.cechZ line 76
7. lemma OAI.Lech.ReesRoot.cechZ_negative line 79
8. def OAI.Lech.ReesRoot.enlargedBicomplex line 87