Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.measurable_sup'

Modification history

2022-07-06 07:46
src/measure_theory/lattice.lean
feat(probability/martingale): Doob's maximal inequality (#14737)
Added finset.measurable_sup'View on Github →