Theorem Polynomial.natDegree_sub_eq_of_prod_eq

Modification history