P
Initializing...
`BookProof.ChapterPauliLorentz.sigma1_herm` : σ1ᴴ = σ1 · Prove2Me