Theorem Equiv.zpow_addLeft

Modification history