P
Initializing...
`BookProof.ChapterLorentzTranslation.gamma_zero` : gamma (fun _ => 0) = 1 · Prove2Me