Theorem Polynomial.aeval_X_left_apply

Modification history