WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Lebesgue measure
Revision #3418 → #3934 ·
back to history
modified
Carathéodory's extension theorem
beaa0b940c07
Field
From #3418
To #3934
mathlib.module
Mathlib.MeasureTheory.Measure.MeasureSpace
Mathlib.MeasureTheory.Measure.OuterMeasure