cubical icon indicating copy to clipboard operation
cubical copied to clipboard
verified publisher icon agda

Define multicategories

Open anshwad10 opened this issue 1 month ago • 0 comments

The promised sequel to #1212

anshwad10 avatar Nov 24 '25 07:11 anshwad10