refactor(CategoryTheory): one-field structure morphisms in the category of types #143801
Triggered via pull request
April 12, 2026 15:47
dagurtomas
dagurtomas
synchronize
#36613
Status
Success
Total duration
1m 8s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 4s