Theorem zpow_bit0_pos_iff

Modification history