Theorem MvPolynomial.eval₂_comp_right

Modification history