Theorem Polynomial.trailingDegree_lt_wf

Modification history