Structure RingTheory.Sequence.IsWeaklyRegular

Modification history