Theorem Polynomial.degree_sub_le_of_le

Modification history