for G, H being Group st G,H are_isomorphic holds
H,G are_isomorphic