Theorem Polynomial.natDegree_X_sub_C_le

Modification history