Theorem Polynomial.eval₂_smul

Modification history