Commit 2020-05-19 06:13 906220ca
View on Github →feat(topology/bounded_continuous_function): Normed algebra of bounded continuous functions (#2722)
The space C(α, γ) of bounded continuous functions into a normed algebra γ is a normed algebra. The space of bounded continuous functions into a normed 𝕜-space is a C(α, 𝕜)-module.