Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.tendsto_lintegral_of_dominated_convergence

Modification history

2019-12-01 17:32
src/measure_theory/integration.lean
feat(measure/bochner_integration): dominated convergence theorem (#1757) …
Added measure_theory.tendsto_lintegral_of_dominated_convergenceView on Github →