OAI/RingTheory/Multiplicity/ReesRootIteration.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.ReesRoot.downIter line 37
2. lemma OAI.Lech.ReesRoot.inclusionIter_coordinate line 43
3. def OAI.Lech.ReesRoot.cechInclusionIterApp line 64
4. lemma OAI.Lech.ReesRoot.cechInclusionIter_natural line 71
5. def OAI.Lech.ReesRoot.cechInclusionIterDiagram line 90
6. def OAI.Lech.ReesRoot.cechInclusionIter line 96