mathlib3

ec4b2eeb - chore(topology/instances/ennreal): missing smul lemmas (#18980)