That's about right. There's a tiny bit of confusion The anticommutation of fermions is a consequence (the content, really) of the spin-statistics theorem, whi

That's about right. There's a tiny bit of confusion The anticommutation of fermions is a consequence (the content, really) of the spin-statistics theorem, which is a consequence of Lorentz invariance & unitarity.