P
Initializing...
`BookProof.ChapterPauliLorentz.sigma3_herm` : σ3ᴴ = σ3 · Prove2Me