Theorem zpow_bit0_neg

Modification history