Mathlib Changelog
Changelog
About
Github
Def
C
Modification history
2020-07-21 12:58
src/topology/algebra/continuous_functions.lean
feat(topology): implemented continuous bundled maps (#3486) …
Deleted
C
View 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
C
View on Github →