Skip to content
Post PR summary comment

feat(CategoryTheory/KanExtensions): Evaluating lan twice amounts to taking a colimit #22814

Sign in to view logs

feat(CategoryTheory/KanExtensions): Evaluating lan twice amounts to taking a colimit

feat(CategoryTheory/KanExtensions): Evaluating lan twice amounts to taking a colimit #22814

Triggered via pull request October 9, 2024 18:08
@javrajavra
synchronize #17531
lanObjObjIsoColim
Status Success
Total duration 1m 8s
Artifacts –

PR_summary.yml

on: pull_request
build
59s
build
Fit to window
Zoom out
Zoom in