caterwaul
Switch Light/Dark Mode
/
caterwaul
/
Lattice
/
Complemented
/
Set
Copy path to clipboard
Source
λ(
m
: Type) → { complement :
m
→
m
} ⩓
../Bounded/Set
m
