cross-posted from: https://mander.xyz/post/18538552
Smart
this post was submitted on 25 Sep 2024
206 points (98.6% liked)
196
16310 readers
1833 users here now
Be sure to follow the rule before you head out.
Rule: You must post before you leave.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I think it’s Grothendieck