Theorem MvPolynomial.vars_map_of_injective

Modification history