mathlib

8c9a15eb - feat(topology/instances/ennreal): continuity of multiplication by const (#1905)

feat(topology/instances/ennreal): continuity of multiplication by const (#1905) * feat(topology/instances/ennreal): continuity of multiplication by const * Fix compile Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>