P
Initializing...
`BookProof.ChapterF2.mass_gap_attained` : bargmann X (hamiltonian X) = bargmann X X · Prove2Me