Theorem Polynomial.coe_bit0

Modification history