Commit 2020-05-12 15:37 77b3d504
View on Github →chore(topology/instances/ennreal): add +1 version of tsum_eq_supr_sum
(#2633)
Also add a few lemmas about supr
and monotone functions.
chore(topology/instances/ennreal): add +1 version of tsum_eq_supr_sum
(#2633)
Also add a few lemmas about supr
and monotone functions.