Theorem RingTheory.Sequence.IsWeaklyRegular.cons

Modification history