Theorem MvPolynomial.eval₂Hom_C_eq_bind₁

Modification history