Qiaochu_Yuan comments on Solved Problems Repository

[Qiaochu_Yuan]

Thanks for looking this up! Regrettably, I did not notice that I was confused.