Theorem Polynomial.eval₂_smulOneHom_eq_smeval

Modification history