The Lorentz action on the electric and magnetic fields. #
The Lorentz group acts on a pair of a electric and magnetic field.
The map toElectricMagneticField is equivariant, which turns a field strength into a pair of
electric and magnetic fieldd, is equivariant with respect to this action.
TODO #
This file currently only contains semiformal results, which