feat(topology/bounded_continuous_function): constructor in normed groups (#607)
feat(topology/bounded_continuous_function): constructor in normed groups (#607)


leanprover-community/mathlib,leanprover-community/mathlib