Theorem Polynomial.Sequence.natDegree_eq

Modification history