Theorem Polynomial.natDegree_int_cast

Modification history