Skip to content

fixed (Left)C(oc)losedMonoidalCategoriesTestWithGiven#1712

Merged
mohamed-barakat merged 1 commit intohomalg-project:masterfrom mohamed-barakat:CoHomJan 1, 2025

Commits

Commits on Jan 1, 2025