Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ennreal.of_real_lt_top

Modification history

2020-07-31 17:41
src/data/real/ennreal.lean
chore(*): assorted small lemmas (#3644)
Added ennreal.of_real_lt_topView on Github →