Theorem Equiv.Perm.zpow_mulLeft

Modification history