No.11892636 ViewReplyOriginalReport
what's the deal with Grothendieck?