Skip to content

1-Category of Bimodules#479

Merged
JacquesCarette merged 18 commits intoagda:masterfrom
tillrampe:cat-of-bimods
Jul 7, 2025
Merged

1-Category of Bimodules#479
JacquesCarette merged 18 commits intoagda:masterfrom
tillrampe:cat-of-bimods

Commits

Commits on May 30, 2025