Theorem Equiv.zpow_mulRight

Modification history