Theorem Polynomial.ofFn_eq_sum_monomial

Modification history