Algebraically manipulating Lorentz transformation

Algebraically manipulating Lorentz transformation