Theorem MeasureTheory.OuterMeasure.isCaratheodory_empty
Modification history
2025-06-27 12:16
Mathlib/MeasureTheory/OuterMeasure/Caratheodory.lean
chore: remove unused simp arguments (#26430) …
Modified MeasureTheory.OuterMeasure.isCaratheodory_emptyView on Github →