Theorem Equiv.Perm.zpow_mulRight

Modification history