Therefore f defines a bijection between the set G/G[sub x] …

Therefore f defines a bijection between the set G/G[sub x] of cosets for the stabilizer subgroup and the orbit G·x, which sends gG[sub x] ↦ g ⋅ x. This result is known as the orbit-stabilizer theorem.
https://twetch.app/t/066808cd0b09833cda7df6e9c219f3552064efa521ef4b49f41e521f26b58389