Theorem MvPolynomial.map_injective_iff

Modification history