Theorem Polynomial.eval₂_list_prod_noncomm

Modification history