Theorem MvPolynomial.coe_X

Modification history