# Def bounded_continuous_function

#### Modification history

2021-03-09 02:15

src/topology/bounded_continuous_function.lean

refactor(topology/bounded_continuous_function): structure extending continuous_map (#6521) …

Deleted bounded_continuous_functionView on Github →