Quote


Voting: - 2 +
My notes say this is trivial, so let's stare at it and see why it's trivial... Yeah, it's trivial.
— Dexter Kozen, Why proving a lemma on quasi-orders, in CS 686. · April 2, 2003