`BookProof.ChapterG2.not_isProbabilityMeasure_cond_null` (μ : Measure Ω) {C : Set Ω} (hC : μ C = 0) : ¬ IsProbabilityMeasure μ[|C]

Initializing...

`BookProof.ChapterG2.not_isProbabilityMeasure_cond_null` (μ : Measure Ω) {C : Set Ω} (hC : μ C = 0) : ¬ IsProbabilityMeasure μ[|C] · Prove2Me