P
Initializing...
`BookProof.ChapterPauliLorentz.sigma2_sq` : σ2 * σ2 = 1 · Prove2Me