P
Initializing...
`BookProof.ChapterWignerLittleGroupOrbits.hermOfMom_zero` : hermOfMom (fun _ => 0) = 0 · Prove2Me