Theorem Equiv.Perm.zpow_addRight

Modification history