Theorem Polynomial.ofFn_natDegree_lt

Modification history