Theorem Polynomial.div_wf_lemma

Modification history