Commit 2023-10-31 07:55 0830b6a3

feat: more explicit sheaf condition for presieves of arrows (#7855) We give more explicit analogues for compatible families of elements for a Presieve.ofArrows and prove that if such families have unique amalgamation then the sheaf condition is satisfied.

• depends on: #7854