[Merged by Bors] - feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of Presentation
#165290
| Job | Run time |
|---|---|
| 5s | |
| 5s |
Presentation
#165290
| Job | Run time |
|---|---|
| 5s | |
| 5s |