Hacker News new | ask | show | jobs
by ninguem2 1824 days ago
Did he prove the lemma or did he leave it as an exercise :-) ?