Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ennreal.tsum_supr_eq

Modification history

2021-02-04 21:33
src/topology/instances/ennreal.lean
feat(data/real/ennreal): use notation for ennreal (#6044) …
Modified ennreal.tsum_supr_eqView on Github →
2018-03-12 20:45
analysis/ennreal.lean
feat(analysis/measure_theory): measures are embedded in outer measures; add map, dirac, and sum measures
Added ennreal.tsum_supr_eqView on Github →