Mathlib v3 is deprecated. Go to Mathlib v4

Def skyscraper_presheaf_functor.map'

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.map'View on Github →