): use `≠ ∞` and `≠ 0` in assumptions (#9219)

Commit

4 years ago

chore(data/real/ennreal, measure_theory/): use `≠ ∞` and `≠ 0` in assumptions (#9219)

Author

urkud

Parents