Theorem Polynomial.natDegree_add_le_iff_left

Modification history