Theorem Polynomial.aeval_fn_apply

Modification history