feat(CategoryTheory/Monoidal/Cartesian/Hom): add addition structure for Mon Homs #39156
Triggered via pull request
September 7, 2026 14:03
abhijitaj1997
abhijitaj1997
edited
#43539
Status
Success
Total duration
1m 34s
Artifacts
–
check_pr_titles.yaml
on: pull_request_target
check_title
1m 30s