Theorem zpow_bit1_neg_iff

Modification history