Skip to content

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of Presentation #132173

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of Presentation

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of Presentation #132173

Triggered via pull request December 17, 2025 23:50
@WenrongZouWenrongZou
created #32437
Status Success
Total duration 8s
Artifacts

bot_fix_style.yaml

on: pull_request_review_comment
Fix style issues from lint
5s
Fix style issues from lint
Fit to window
Zoom out
Zoom in