Mathlib v3 is deprecated. Go to Mathlib v4

Theorem topological_space.open_nhds.map_obj

Modification history

2019-05-29 11:10
src/category_theory/instances/Top/open_nhds.lean
feat(presheaves/stalks): stalks of presheafs, and presheafed spaces with extra structure on stalks (#1018) …
Added topological_space.open_nhds.map_objView on Github →