Theorem MvPolynomial.IsHomogeneous.finSuccEquiv_coeff_isHomogeneous

Modification history