Theorem Polynomial.Sequence.basis_degree_strictMono

Modification history