4 ms·
I think it may be the punchline in many cases, but still, setting up the right pigeons and holes is what makes proving stuff nontrivial.
by andreasvc 13y ago
I think it may be the punchline in many cases, but still, setting up the right pigeons and holes is what makes proving stuff nontrivial.