Theorem Polynomial.degree_lt_wf

Modification history