Theorem Polynomial.aeval_coe_eq_smeval

Modification history