Hacker News new | ask | show | jobs
by antognini 2661 days ago
Oops, good catch. I can never remember the name of that lemma.