Theorem RingTheory.Sequence.IsRegular.nontrivial

Modification history