Theorem RingTheory.Sequence.isRegular_cons_iff'

Modification history