Theorem Polynomial.supDegree_eq_natDegree

Modification history