Theorem RingTheory.Sequence.eq_nil_of_isRegular_on_artinian

Modification history