Theorem Measurable.mem

Modification history

2026-10-13 14:51
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
refactor(Data): make `Set` a one-field structure (#41506) …
Added Measurable.memView on Github →