Theorem pow_bit1_nonneg_iff

Modification history