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






leanprover-community/mathlib,leanprover-community/mathlib