Theorem RingTheory.Sequence.IsWeaklyRegular.prototype_perm

Modification history