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