feat(CategoryTheory/Limits): Pullback squares in cartesian monoidal categories #147593
Triggered via pull request
April 3, 2026 07:51
robin-carlier
robin-carlier
created
#37045
Status
Success
Total duration
5s
Artifacts
–
labels_from_comment.yml
on: pull_request_review_comment
update-label
2s