Mathlib v3 is deprecated. Go to Mathlib v4

Def skyscraper_presheaf_functor

Modification history

2022-10-02 04:41

src/topology/sheaves/skyscraper.lean

feat(topology/sheaves/skyscraper): skyscraper presheaf as a functor (#16685)

Added skyscraper_presheaf_functor View on Github →