Theorem Polynomial.aeval_algEquiv

Modification history