0167132人目の素数さん垢版 | 大砲2021/10/27(水) 09:05:25.46ID:lHJOacVT 20世紀は面倒だから、ブルバキでよい? カルタンもベイユも、セールもグロタンディックも該当するから、ブルバキでよい。