`BookProof.ChapterG3.qftVacuum_isProbability` (k : ℕ) : IsProbabilityMeasure (qftVacuum k)

Initializing...

`BookProof.ChapterG3.qftVacuum_isProbability` (k : ℕ) : IsProbabilityMeasure (qftVacuum k) · Prove2Me