Theorem measurable.strongly_measurable
Modification history
2022-05-23 01:49
src/measure_theory/function/strongly_measurable.lean
feat(measure_theory): use `pseudo_metrizable_space` instead of `metrizable_space` (#14310)
Modified measurable.strongly_measurableView on Github →