Theorem Polynomial.algebraMap_pi_self_eq_eval

Modification history