Theorem RingTheory.Sequence.isWeaklyRegular_cons_iff

Modification history