Theorem zpow_bit1_neg

Modification history