4 ms·The parts about Grothendieck are interesting.by jimhefferon 8y agoThe parts about Grothendieck are interesting.