Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.condexp_bot_ae_eq

Modification history

2022-09-12 09:20

src/measure_theory/function/conditional_expectation/basic.lean

feat(measure_theory/function/conditional_expectation): conditional expectation with respect to the bot sigma algebra (#16342) …

Added measure_theory.condexp_bot_ae_eq View on Github →