# Def bounded_continuous_function.comp

#### Modification history

2020-12-16 07:31

src/topology/bounded_continuous_function.lean

chore(*): use notation `ℝ≥0` (#5391)

Modified bounded_continuous_function.compView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2020-12-16 07:31

src/topology/bounded_continuous_function.lean

chore(*): use notation `ℝ≥0` (#5391)

Modified bounded_continuous_function.compView on Github →