Mathlib v3 is deprecated. Go to Mathlib v4

Theorem skyscraper_presheaf_eq_pushforward

Modification history

2022-10-01 11:17
src/topology/sheaves/skyscraper.lean
feat(topology/sheaves/skyscraper): skyscraper presheaf is a sheaf (#16649) …
Added skyscraper_presheaf_eq_pushforwardView on Github →