Theorem pow_bit0_pos_iff

Modification history