Skip to content

Define multicategories#1278

Draft
anshwad10 wants to merge 2 commits into
agda:masterfrom
anshwad10:multicategories
Draft

Define multicategories#1278
anshwad10 wants to merge 2 commits into
agda:masterfrom
anshwad10:multicategories

Commits

Commits on Nov 24, 2025

Commits on Nov 25, 2025