Skip to content

updated C(oc)losedMonoidalCategoriesTest#1715

Merged
mohamed-barakat merged 2 commits intohomalg-project:masterfrom mohamed-barakat:CartesianClosedCategoriesTestJan 1, 2025

Commits

Commits on Jan 1, 2025