feat(CategoryTheory/Bicategory/Span): bicategories of spans#39537
Open
robin-carlier wants to merge 13 commits into
Open
feat(CategoryTheory/Bicategory/Span): bicategories of spans#39537robin-carlier wants to merge 13 commits into
robin-carlier wants to merge 13 commits into
Commits
Commits on May 13, 2026
- committed
Commits on May 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed