そりゃ成果を残した数学者でもコンプの一つや二つあるわな
外史は層圏も貪欲に取り入れてるし心が広い