Properties of the 1-Category of Bimodules#481

Merged

JacquesCarette merged 2 commits intoagda:masterfrom

tillrampe:cat-of-bimods

Jul 10, 2025

Commits on Jul 7, 2025

Rewrite the import commands and open the relevant (bi)categories inside their respective private modules
tillrampe
committed

Commits on Jul 10, 2025

Put import commands at the beginning, leaving the open commands where they are
tillrampe
committed