`BookProof.ChapterBornMeasure.bornMeasure_univ` (psi : Lp ℂ 2 μ) (hpsi : ‖psi‖ = 1) : bornMeasure psi Set.univ = 1

Initializing...

`BookProof.ChapterBornMeasure.bornMeasure_univ` (psi : Lp ℂ 2 μ) (hpsi : ‖psi‖ = 1) : bornMeasure psi Set.univ = 1 · Prove2Me