@[email protected] to [email protected] • edit-22 days agoLife goals rulemander.xyzimagemessage-square3fedilinkarrow-up1184arrow-down12file-textcross-posted to: [email protected]
arrow-up1182arrow-down1imageLife goals rulemander.xyz@[email protected] to [email protected] • edit-22 days agomessage-square3fedilinkfile-textcross-posted to: [email protected]
I think it’s Grothendieck