Theorem Polynomial.algebraMap_pi_eq_aeval

Modification history