V.T24 — Lorentz covariance theorem

The group of admissible readout functors on H_partial[omega] that preserve the temporal-spatial split tau^1 x_f T^2 is isomorphic to the Lorentz group O(1,3). The connected component is the proper orthochronous Lorentz group SO^+(1,3).