0535132人目の素数さん垢版 | 大砲2019/11/29(金) 23:48:32.85ID:SJwiXU4F >>533 グロタンディークのmysterious functorに対するフォンテーヌとかねw