-
Notifications
You must be signed in to change notification settings - Fork 155
Pull requests: stacks/stacks-project
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Added statement and proof that (quasi-)separatedness is local on the target
#183
opened Sep 24, 2025 by
eliasgv3
Loading…
Small wording change in 01ZM about descending relative objects
#182
opened Sep 21, 2025 by
tbrazel
Loading…
ProTip!
Filter pull requests by the default branch with base:master.