Theorem Equiv.zpow_addRight

Modification history