Theorem MvPolynomial.hom_congr_vars

Modification history