Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-27 10:05 d620ad3c

View on Github →

feat(measure_theory/measure/measure_space): remove measurable_set assumption in ae_measurable.subtype_mk (#12978)

Estimated changes

modified theorem ae_measurable.subtype_mk