Theorem zpow_bit0_nonneg

Modification history