Theorem zpow_comm

Modification history