Theorem pow_bit0_pos_of_neg

Modification history