Theorem Polynomial.natDegree_pow_X_add_c

Modification history