mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(catgory_theory/sites): Image sheaf

Open erdOne opened this issue 3 years ago • 2 comments

  • [x] depends on: #15827

Open in Gitpod

erdOne avatar Jul 12 '22 19:07 erdOne

Could you please connect this to the api for categorical images?

jcommelin avatar Jul 18 '22 11:07 jcommelin

This PR/issue depends on:

  • ~~leanprover-community/mathlib#15827~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Aug 10 '22 17:08 mathlib-dependent-issues-bot

bors merge p=3

jcommelin avatar Aug 15 '22 19:08 jcommelin

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 16 '22 01:08 bors[bot]