Theorem RingTheory.Sequence.isWeaklyRegular_singleton_iff

Modification history