Theorem Polynomial.natDegree_sub_le_iff_right

Modification history