Mathlib v3 is deprecated. Go to Mathlib v4

Theorem topological_space.opens.map_obj

Modification history

2020-11-18 21:10
src/topology/category/Top/opens.lean
refactor(*): make continuous a structure (#5035) …
Modified topological_space.opens.map_objView on Github →
2020-08-05 15:41
src/topology/category/Top/opens.lean
chore(topology/category/Top/opens): module-doc, cleanup, and construct some morphisms (#3601)
Modified topological_space.opens.map_objView on Github →
2020-07-22 05:08
src/topology/category/Top/opens.lean
chore(topology/category/): switch to bundled morphisms in Top (#3506) …
Modified topological_space.opens.map_objView on Github →
2019-05-29 11:10
src/category_theory/instances/Top/opens.lean
feat(presheaves/stalks): stalks of presheafs, and presheafed spaces with extra structure on stalks (#1018) …
Added topological_space.opens.map_objView on Github →