P
Initializing...
`BookProof.ChapterF1.quadratic_ordering_vacuum` : hamiltonian (1 : ℂ[X]) = 0 · Prove2Me