Theorem zpow_bit0_abs

Modification history