aboutsummaryrefslogtreecommitdiff
path: root/Object/Biproduct.agda
AgeCommit message (Collapse)Author
4 daysAdd categories with all binary biproductsJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-21 21:54:03 +0000