Theorem Polynomial.eval₂_multiset_prod

Modification history