Theorem Polynomial.Sequence.natDegree_strictMono

Modification history