Theorem Polynomial.eval₂_bit1

Modification history