WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Lebesgue measure

Revision #1765 → #2283 · back to history

modifiedCountable set has measure zero7002bfac4ee7
FieldFrom #1765To #2283
mathlib.moduleMathlib.MeasureTheory.Measure.Typeclasses.NoAtomsMathlib.MeasureTheory.Measure.Typeclasses.NullSingletonClass
modifiedAll countable sets are null8293acb11301
FieldFrom #1765To #2283
mathlib.moduleMathlib.MeasureTheory.Measure.Typeclasses.NoAtomsMathlib.MeasureTheory.Measure.Typeclasses.NullSingletonClass