Lang's observation is:
>There is a unique linear functional $f\colon S^n(\operatorname{End}V)\to\mathbb K$ such that for any $A\in\operatorname{End}V$,
$$F(A^n)=\det(A).$$
There was another functional $F'\colon S^n(\operatorname{End}V)\to\mathbb K$ that I constructed in the comments above:
> An element $A_1\cdots A_n\in S^n(\operatorname{End}V)$ acts on $\wedge^nV$ by
$$v_1\wedge\cdots\wedge v_n\mapsto \frac1{n!}\sum_{\sigma\in S_n}A_{\sigma1}v_1\wedge\cdots \wedge A_{\sigma n}v_n.$$
Since $\wedge^nV$ is one-dimensional, this linear map is multiplication by a scalar, which I will call $F'(A_1\cdots A_n)$.
I claim that the two linear functionals match. To check this, it suffices to check that $$F'(A^n)=\det(A).$$
But that's because $A^n$ acts on $\wedge^nV$ by
$$v_1\wedge\cdots\wedge v_n\mapsto \frac1{n!}\sum_{\sigma\in S_n}Av_1\wedge\cdots \wedge Av_n=Av_1\wedge\cdots\wedge Av_n,$$
which is simply multiplication by $\det(A)$ by the definition of determinant.