Commit 2019-11-29 13:45 8f11c466
View on Github →feat(data/real/ennreal): more simp lemmas about inv
and continuity of inv
(#1749)
- Prove some algebraic properties of
ennreal.inv
- More algebraic lemmas
- Prove continuity of
inv
feat(data/real/ennreal): more simp lemmas about inv
and continuity of inv
(#1749)
ennreal.inv
inv