Theorem Polynomial.natDegree_add_le_iff_right

Modification history