Theorem ennreal.mul_le_iff_le_inv
Modification history
2023-05-24 12:44
src/data/real/ennreal.lean
feat(analysis/normed_space/basic): scaling a set scales its diameter, translating it leaves it unchanged (#18990)
Modified ennreal.mul_le_iff_le_invView on Github →2021-02-04 21:33
src/data/real/ennreal.lean
feat(data/real/ennreal): use notation for ennreal (#6044) …
Modified ennreal.mul_le_iff_le_invView on Github →