Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.uniform_integrable.spec

Modification history

2022-04-11 16:38

src/measure_theory/function/uniform_integrable.lean

feat(measure_theory/function/uniform_integrable): Equivalent condition for uniformly integrable in the probability sense (#12955) …

Added measure_theory.uniform_integrable.spec View on Github →