Def RingTheory.Sequence.IsRegular.recIterModByRegularWithRing

Modification history