Theorem Polynomial.natDegree_sub_le_iff_left

Modification history