Theorem Measurable.eq_mp

Modification history

2023-10-16 14:39
Mathlib/MeasureTheory/MeasurableSpace/Basic.lean
feat: lemmas for MeasurableSpace.Basic (#7682) …
Added Measurable.eq_mpView on Github →