Solution (source code)

= Solution

For $X^\mu=(ct,x,y,z)$, the stated <Lorentz transformation> gives
$$
\boxed{
t'=\gamma\left(t-\frac{vx}{c^2}\right),
\qquad x'=\gamma(x-vt),
\qquad y'=y,
\qquad z'=z}.
$$