Theorem Equiv.Perm.zpow_addLeft

Modification history