Skip to content
Back to pull request #12721

[Merged by Bors] - feat(Algebra/Category/ModuleCat): the category of presheaves of modules is abelian #64

Sign in to view logs

[Merged by Bors] - feat(Algebra/Category/ModuleCat): the category of presheaves of modules is abelian

[Merged by Bors] - feat(Algebra/Category/ModuleCat): the category of presheaves of modules is abelian #64

Triggered via pull request May 13, 2024 12:57
@joelrioujoelriou
labeled #12721
modulecat-presheaf-abelian
Status Skipped
Total duration 2s
Artifacts –

move_decl.yaml

on: pull_request
add-comment
0s
add-comment
Fit to window
Zoom out
Zoom in