feat(topology/sheaves/skyscraper): stalk functor is adjoint to skyscraper functor (#16790)
feat(topology/sheaves/skyscraper): stalk functor is adjoint to skyscraper functor (#16790)






leanprover-community/mathlib,leanprover-community/mathlib