Theorem MvPolynomial.eval₂Hom_eq_bind₂

Modification history