Theorem RingTheory.Sequence.IsRegular.quot_ofList_smul_nontrivial

Modification history