Def RingTheory.Sequence.IsWeaklyRegular.recIterModByRegularWithRing

Modification history