Theorem Polynomial.iterate_comp_eval₂

Modification history