4 ms·Holy shit Grothendieck died in 2014, I NEVER MOURNED HIM. How did this happen?by cplease 11y agoHoly shit Grothendieck died in 2014, I NEVER MOURNED HIM. How did this happen?