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

Initializing...

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