Mathlib v3 is deprecated. Go to Mathlib v4

Def continuous_map.C

Modification history

2020-07-21 12:58
src/topology/algebra/continuous_functions.lean
feat(topology): implemented continuous bundled maps (#3486) …
Added continuous_map.CView on Github →