skyscraper): skyscraper presheaf is a sheaf (#16649)

Commit

3 years ago

feat(topology/sheaves/skyscraper): skyscraper presheaf is a sheaf (#16649) - [x] depends on: #16694

Author

jjaassoonn

Parents