Commit 2023-10-29 21:47 8c5976ff

View on Github →

feat: sheaves for unions of Grothendieck topologies (#7961) A presheaf is a sheaf for a union of two grothendieck topologies iff it is a sheaf for each separately.

Estimated changes