aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/One/Properties.agda
AgeCommit message (Expand)Author
9 daysRename One propertiesJacques Comeaux
2025-02-03Add category of finitely-cocomplete categoriesJacques Comeaux