P
Initializing...
`BookProof.ChapterPauliLorentz.sigma2_herm` : σ2ᴴ = σ2 · Prove2Me