Mathlib v3 is deprecated. Go to Mathlib v4

Def C

Modification history

2020-07-21 12:58
src/topology/algebra/continuous_functions.lean
feat(topology): implemented continuous bundled maps (#3486) …
Deleted CView on Github →
2020-07-19 14:13
src/topology/algebra/continuous_functions.lean
feat(topology/algebra/continuous_functions): algebra structure over continuous functions (#3383)
Added CView on Github →