Theorem Polynomial.natDegree_add_C

Modification history