Def equiv.perm

Modification history