Theorem zpow_bit0_pos

Modification history