Theorem Polynomial.ofFn_degree_lt

Modification history