Theorem Polynomial.degree_one_le

Modification history