Hacker News new | ask | show | jobs
by foobahhhhh 407 days ago
Yes that too ... in general of course. ∀ does the heavy lifting.
1 comments
BobaFloutist 407 days ago
I'm a big enough man to admit I'm I haven't seen that one in this semester's Discrete Math.
link