Theorem Continuous.ereal_toENNReal

Modification history

2025-03-05 10:44

Mathlib/Topology/Instances/EReal/Lemmas.lean

chore: fix typo-ed name `Continous.ereal_toENNReal` (#22578) …

Added Continuous.ereal_toENNReal View on Github →