caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Category
/
Duoidal
/
Sort
Copy path to clipboard
Source
../Sort
⩓ { diamond :
../../Monoid/Sort
, star :
../../Monoid/Sort
}
