aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal
ModeNameSize
d---------Braided / Strong33logplain
d---------Instance / Nat30logplain
d---------Strong43logplain
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-30 20:41:47 +0000