Theorem Polynomial.natDegree_sub_C

Modification history