`BookProof.ChapterLinftyMultiplication.unitInterval_atomless` (x : ℝ) : (MeasureTheory.volume.restrict (Set.Icc (0 : ℝ) 1)) {x} = 0

Initializing...

`BookProof.ChapterLinftyMultiplication.unitInterval_atomless` (x : ℝ) : (MeasureTheory.volume.restrict (Set.Icc (0 : ℝ) 1)) {x} = 0 · Prove2Me