Comment Comment by Pfiffer Grothendieck apparently died recently:https://en.wikipedia.org/wiki/Alexander_Grothendieck#Retirem... parent Pfiffer 11 years ago
https://en.wikipedia.org/wiki/Alexander_Grothendieck#Retirem...