Skip to content

feat(CategoryTheory): Colimits on the Grothendieck construction #27749

feat(CategoryTheory): Colimits on the Grothendieck construction

feat(CategoryTheory): Colimits on the Grothendieck construction #27749

Triggered via pull request October 31, 2024 13:41
@javrajavra
synchronize #18442
fme-141
Status Success
Total duration 1m 8s
Artifacts

PR_summary.yml

on: pull_request
Fit to window
Zoom out
Zoom in