Theorem Polynomial.eval_bit1

Modification history