feat(topology/continuous_function/bounded): generalize scalar action (#12098)
feat(topology/continuous_function/bounded): generalize scalar action (#12098)

This also makes the scalar action computable





leanprover-community/mathlib,leanprover-community/mathlib