Theorem ENNReal.continuous_pow

Modification history

2024-08-01 20:21
Mathlib/Topology/Instances/ENNReal.lean
feat(Topology/ENNReal): `zpow` is continuous (#15381) …
Deleted ENNReal.continuous_powView on Github →
2023-03-10 06:37
Mathlib/Topology/Instances/ENNReal.lean
feat: port Topology.Instances.ENNReal (#2734) …
Added ENNReal.continuous_powView on Github →