Theorem RingTheory.Sequence.IsWeaklyRegular.isWeaklyRegular_rTensor

Modification history