Theorem MeasureTheory.OuterMeasure.trim_anti_measurableSpace

Modification history

2024-08-12 18:29
Mathlib/MeasureTheory/OuterMeasure/Induced.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified MeasureTheory.OuterMeasure.trim_anti_measurableSpaceView on Github →
2024-05-16 08:10
Mathlib/MeasureTheory/OuterMeasure/Basic.lean
refactor(MeasureTheory/OuterMeasure): split large file (#12939) …
Modified MeasureTheory.OuterMeasure.trim_anti_measurableSpaceView on Github →
2024-05-06 03:42
Mathlib/MeasureTheory/OuterMeasure/Basic.lean
refactor: use `FunLike` for `OuterMeasure` (#12668) …
Added MeasureTheory.OuterMeasure.trim_anti_measurableSpaceView on Github →