caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Monoidal
/
Sort
Copy path to clipboard
Source
../Sort
⩓
../../Monoid/Sort
