Theorem Polynomial.natDegree_C_add

Modification history