Theorem MeasureTheory.ae_eq_set_biUnion

Modification history

2026-03-03 23:24
Mathlib/MeasureTheory/OuterMeasure/AE.lean
feat: countable intersections/unions of ae eq sets are ae eq (#36065) …
Added MeasureTheory.ae_eq_set_biUnionView on Github →