Theorem pow_bit1_neg

Modification history