Theorem Polynomial.supDegree_eq_degree

Modification history