Theorem MvPolynomial.isWeightedHomogeneous_of_total_degree_zero

Modification history