`BookProof.ChapterPvmMeasure.pvmMeasure_eq_zero_iff` {E : Set X} (hE : MeasurableSet E) : pvmMeasure P ψ E = 0 ↔ P.p E ψ = 0

Initializing...

`BookProof.ChapterPvmMeasure.pvmMeasure_eq_zero_iff` {E : Set X} (hE : MeasurableSet E) : pvmMeasure P ψ E = 0 ↔ P.p E ψ = 0 · Prove2Me