feat(topology/sheaves/skyscraper): skyscraper presheaf is a sheaf (#16649)
feat(topology/sheaves/skyscraper): skyscraper presheaf is a sheaf (#16649)


- [x] depends on: #16694




leanprover-community/mathlib,leanprover-community/mathlib