Def Equiv.Perm.subtypeCongrHom

Modification history