Theorem MeasureTheory.finStronglyMeasurable_of_measurable

Modification history

2023-06-27 18:31
Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean
feat(MeasureTheory): aesop rules for strong measurability + `measurability?` tactic (#5427) …
Added MeasureTheory.finStronglyMeasurable_of_measurableView on Github →