Theorem ENNReal.iInf_mul_right'

Modification history

2025-04-01 02:20

Mathlib/Topology/Instances/ENNReal/Lemmas.lean

chore: remove >6 month old deprecations (2024-09) (#23516) …

Deleted ENNReal.iInf_mul_right'View on Github →

2024-01-08 08:22

Mathlib/Topology/Instances/ENNReal.lean

chore(*): use `∞` for `⊤ : ENNReal` (#9541)

Modified ENNReal.iInf_mul_right'View on Github →

2023-06-30 23:14

Mathlib/Topology/Instances/ENNReal.lean

fix: precedences of `⨆⋃⋂⨅` (#5614)

Modified ENNReal.iInf_mul_right'View on Github →

2023-05-14 07:05

Mathlib/Topology/Instances/ENNReal.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added ENNReal.iInf_mul_right'View on Github →