Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ennreal.tsum_add_one_eq_top

Modification history

2022-10-31 15:55
src/topology/instances/ennreal.lean
feat(probability/borel_cantelli): the second Borel-Cantelli lemma (#16882)
Added ennreal.tsum_add_one_eq_topView on Github →