Theorem zpow_bit1_nonpos_iff

Modification history