Mathlib v3 is deprecated. Go to Mathlib v4

Theorem strongly_measurable_bot_iff

Modification history

2022-09-12 09:20
src/measure_theory/function/strongly_measurable.lean
feat(measure_theory/function/conditional_expectation): conditional expectation with respect to the bot sigma algebra (#16342) …
Added strongly_measurable_bot_iffView on Github →