Theorem Polynomial.map_aeval_eq_aeval_map

Modification history