Theorem MvPolynomial.isWeightedHomogeneous_X

Modification history