Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.presheaf.stalk_pushforward_germ

Modification history

2021-06-02 04:57
src/topology/sheaves/stalks.lean
feat(topology/sheaves/stalks): Small lemmas about stalk pushforward and stalk map (#7789) …
Added Top.presheaf.stalk_pushforward_germView on Github →