Theorem AEMeasurable.mem

Modification history

2026-10-13 14:51
Mathlib/MeasureTheory/Measure/AEMeasurable.lean
refactor(Data): make `Set` a one-field structure (#41506) …
Modified AEMeasurable.memView on Github →
2026-10-04 13:15
Mathlib/MeasureTheory/Measure/AEMeasurable.lean
feat: measurability of set operations (#44274) …
Added AEMeasurable.memView on Github →