feat(CategoryTheory/Limits): Pullback squares in cartesian monoidal categories #195919
Triggered via pull request
April 3, 2026 07:51
robin-carlier
robin-carlier
submitted
#37045
Status
Success
Total duration
7s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review
Fix style issues from lint
4s