Theorem Polynomial.natDegree_comp_le

Modification history