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