Theorem Equiv.zpow_mulLeft

Modification history