Theorem Polynomial.eval₂_comp

Modification history