Theorem MvPolynomial.IsHomogeneous.funext_of_le_card

Modification history