Theorem MvPolynomial.eval₂Hom_id_X_eq_join₂

Modification history