Theorem Polynomial.toFn_comp_ofFn_eq_id

Modification history