Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.instances.Top.presheaf.stalk_functor

Modification history

2019-05-31 06:43
src/topology/Top/stalks.lean
chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074) …
Deleted category_theory.instances.Top.presheaf.stalk_functorView on Github →
2019-05-29 11:10
src/category_theory/instances/Top/stalks.lean
feat(presheaves/stalks): stalks of presheafs, and presheafed spaces with extra structure on stalks (#1018) …
Added category_theory.instances.Top.presheaf.stalk_functorView on Github →