Theorem MvPolynomial.isWeightedHomogeneous_one

Modification history