Theorem Polynomial.eval₂_finset_prod

Modification history