Explanation

The condition

t · L_h = h · t for each h G

is often phrased as "the map t commutes with the group action". It means that t does not just establish an identification of G/G_x and X as sets, but even of the permutation representations L on G/G_x and f on X.