isomeromorphism

not defined yet