Theorem Polynomial.eval_bit0

Modification history