Def RingTheory.Sequence.IsWeaklyRegular.recIterModByRegular

Modification history