Theorem Polynomial.natDegree_lt_natDegree_iff

Modification history