Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.sigma_finite_trim_bot_iff

Modification history

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