Fixing order of concatenations in thm:equiv-iso-adj.