# Def continuous_map.const

#### Modification history

2022-02-22 10:50

src/topology/continuous_function/basic.lean

refactor(topology/*): Hom classes for continuous maps/homs (#11909) …

Modified continuous_map.constView on Github →2020-09-30 20:29

src/topology/continuous_map.lean

feat(geometry/manifold): smooth bundled maps (#3641)

Modified continuous_map.constView on Github →