OAI/RingTheory/Multiplicity/ReesRootPermutation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.ReesRoot.permuteSections line 22
2. lemma OAI.Lech.ReesRoot.permuteSections_natural line 28
3. def OAI.Lech.ReesRoot.permuteCechEquiv line 55
4. lemma OAI.Lech.ReesRoot.permuteCechEquiv_natural line 66
5. def OAI.Lech.ReesRoot.permuteCechIso line 82