mathlib

162d060c - feat(measure_theory/function/strongly_measurable): more basic properties of `strongly_measurable` (#12164)