2 ms·Yes, I understood it in this sense too :) Quite a character, Grothendieck.by lkozma 13y agoYes, I understood it in this sense too :) Quite a character, Grothendieck.