Theorem zpow_iterate

Modification history