Theorem Polynomial.eval₂_hom

Modification history