`BookProof.ChapterF1.symmetric_ordering_vacuum` : hamiltonianSym (1 : ℂ[X]) = (2⁻¹ : ℂ) • (1 : ℂ[X])

Initializing...

`BookProof.ChapterF1.symmetric_ordering_vacuum` : hamiltonianSym (1 : ℂ[X]) = (2⁻¹ : ℂ) • (1 : ℂ[X]) · Prove2Me