Theorem Polynomial.natDegree_X_le

Modification history