Theorem Polynomial.ofFn_comp_toFn_eq_id_of_natDegree_lt

Modification history