mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(data/real/ennreal): Positivity extension for `ennreal.of_real`

Open YaelDillies opened this issue 3 years ago • 0 comments

and three easy lemmas

Open in Gitpod

YaelDillies avatar Oct 13 '22 17:10 YaelDillies