Theorem MvPolynomial.IsWeightedHomogeneous.weighted_total_degree

Modification history