Def RingTheory.Sequence.IsWeaklyRegular.ndrecWithRing

Modification history