The version you state is definitely a 20th century development, only marginally related to Von Staudt's theorem. Here is a translation of the relevant section of Karzel & Kroll's *Geschichte der Geometrie seit Hilbert*, p. 51 (notation should be self-explanatory):

Examples of "non-linear" collineations were given by **C. Segre** [Seg 1890] for projective geometries over the complex numbers and by **Veblen** and **Bussey** [VB 06] for projective geometries over finite fields. Thus arose at the beginning of this century the problem whether these are all affinities resp. collineations. The following realization theorems state that this is the case.

**(8.1)** Let $(V,K)$ be a vector space with $\dim(V,K)\geqslant 2$ resp. $\dim(V,K)\geqslant 3$.

a) For every affinity $a$ of the corresponding affine space $A(V,K)$ there is exactly one semilinear permutation $\sigma$ of $(V,K)$ and one $\mathbf a\in V$ such that $a = \mathbf a^+\circ\sigma$.

b) For every collineation $\kappa$ of the corresponding projective space $\Pi(V,K)$ there is a semilinear permutation $\sigma$ of $(V,K)$ such that $\tilde\sigma = \kappa$; here $\sigma$ is unique up to a factor $\lambda\in K$, i.e. $\tilde\sigma = \tilde\sigma'$ for $\sigma' = \lambda_\ell\circ\sigma$, where $\lambda_\ell(\mathbf x) := \lambda\mathbf x$.

Part a) was first proved by **E. Kamke** [Kam 27]. A proof for the case where $K$ is a commutative field is found in the textbook [SS 35], §14 of **Schreier** and **Sperner**. Further proofs over arbitrary fields are found in the textbooks [Bae 52], [Le 65], [KSW 73]. In [KSW 73] and [Le 65], part a) is proved first and part b) then deduced as a consequence, which makes the proof simpler and more transparent. **Veblen** [Ve 07] already gives a proof for projective geometries over finite fields.

Theorem (8.1 b) is the generalization to [higher dimensional] space of **Von Staudt**'s Theorem (9.1) on the group of projectivities.

One might add that Darboux (1880, p. 59) already states and attributes the theorem:

It is easy for example to recognize with v. Staudt (Geometrie der Lage § 121–122) that a projective or homographic correspondence in the plane or in space can be defined by the sole condition that aligned points in one figure correspond to aligned points in the other.

He only sketches a proof, and Schur (1881, p. 254) comments:

See v. Staudt, Geometrie der Lage, p. 60. Compare especially Möbius, der barycentrische Calcul, Chap. 6 and 7, where collineation in the plane and in space is first defined by the condition that straight lines correspond to straight lines.

Further references, giving various versions of the theorem but apparently never tracing it beyond Baer, are Dieudonné (1955, p. 72), Artin (1957, p. 88), Bourbaki (1970, Exerc. II.9.16), Jacobson (1974, p. 470), Samuel (1986, p. 32), Berger (1987, 5.4.8), Bennett (1995, p. 203), Jeffers (2000, p. 810).