Theorem MvPolynomial.coe_def

Modification history