Theorem Polynomial.Sequence.degree_strictMono

Modification history