mathlib

3ba25ea6 - feat(topology/algebra/const_mul_action): add is_closed smul lemmas (#12747)