Y
Hacker News
new
|
ask
|
show
|
jobs
by
hintymad
1348 days ago
I thought $\exists$ does not require an exhaustive list, but $\forall$ does.