Theorem zpow_bit0'

Modification history