Theorem Polynomial.aeval_algebraMap_apply_eq_algebraMap_eval

Modification history