Def RingTheory.Sequence.IsRegular.ndrecIterModByRegular

Modification history