Def RingTheory.Sequence.IsRegular.ndrecIterModByRegularWithRing

Modification history