Structure RingTheory.Sequence.IsRegular

Modification history