Theorem Polynomial.eval₂_eq_smeval

Modification history