You can find this on the Wikipedia page for group actions. $G$ is sharply $n$-transitive if for any two sequences of $n$ distinct points $ x_1,\ldots,x_n$ and $y_1,\ldots,y_n$ there is **exactly one** $g\in G$ with $x_i^g=y_i$ (or $g\cdot x_i=y_i$ depending on your convention) for each $i$.