Theorem MvPolynomial.IsWeightedHomogeneous.inj_right

Modification history