[Merged by Bors] - feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of Presentation
#165290
Triggered via pull request
December 17, 2025 22:17
dagurtomas
dagurtomas
submitted
#32437
Status
Success
Total duration
7s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
5s