Theorem MvPolynomial.eval₂Hom_C_left

Modification history