Theorem Equiv.Perm.sigmaCongrRightHom_injective

Modification history