`BookProof.ChapterF2.vacuum_energy_zero` : bargmann (1 : ℂ[X]) (hamiltonian (1 : ℂ[X])) = 0

Initializing...

`BookProof.ChapterF2.vacuum_energy_zero` : bargmann (1 : ℂ[X]) (hamiltonian (1 : ℂ[X])) = 0 · Prove2Me