Theorem Polynomial.natDegree_pos_of_eraseLead_ne_zero

Modification history