aboutsummaryrefslogtreecommitdiff
path: root/Data/Mat/Category.agda
AgeCommit message (Expand)Author
4 daysAdd category of matrices over an arbitary rigmainJacques Comeaux