Define the spinor generators
Repeated use of the Clifford algebra gives
The Spinor representation of the Lorentz group is
The adjoint relation for the Dirac matrices implies
Exponentiating yields