Theorem RingTheory.Sequence.isWeaklyRegular_iff_Fin

Modification history