Theorem Polynomial.natDegree_X_pow

Modification history