Theorem MvPolynomial.coe_bit1

Modification history