Theorem Polynomial.hom_eval₂

Modification history