Theorem MvPolynomial.coeff_X_mul'

Modification history