# Def bounded_continuous_function.of_normed_group

#### Modification history

2022-07-24 16:34

src/topology/continuous_function/bounded.lean

chore(*): Rename `normed_group` to `normed_add_comm_group` (#15619) …

Deleted bounded_continuous_function.of_normed_groupView on Github →