stalks): Small lemmas about stalk pushforward and stalk map (#7789)

Commit

4 years ago

feat(topology/sheaves/stalks): Small lemmas about stalk pushforward and stalk map (#7789) `Top.presheaf.stalk_pushforward` and `PresheafedSpace.stalk_map` commute with `Top.presheaf.germ`.

Author

justus-springer

Parents

21641075

mathlib cdf6cf0f - feat(topology/sheaves/stalks): Small lemmas about stalk pushforward and stalk map (#7789)

mathlib
cdf6cf0f - feat(topology/sheaves/stalks): Small lemmas about stalk pushforward and stalk map (#7789)