# Def continuous_map.induced

#### Modification history

2021-09-25 09:01

src/topology/compact_open.lean

refactor(topology/compact_open): use bundled continuous maps (#9351)

Deleted continuous_map.inducedView on Github →2020-07-21 12:58

src/topology/compact_open.lean

feat(topology): implemented continuous bundled maps (#3486) …

Modified continuous_map.inducedView on Github →2019-05-17 16:13

src/topology/compact_open.lean

refactor: change variables order in some composition lemmas (#1035)

Modified continuous_map.inducedView on Github →