caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Group
/
Commutative
Copy path to clipboard
Exported files:
Kind
Set
Type
extractCommutativeMonoid
extractGroup
extractMonoid
package.dhall
quotient
