>>949
>・望月氏は参加せず、遠アーベル幾何の無難なところだけ形式化
こっちかなぁ
でもそこは既に人が検証可能な部分なのかも？