26/07/19 23:07:35.05 nUKgsSja.net
>>354
ですね人？
今回のLEAN プロジェクト >>264
プロジェクトメンバーの
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）
それに
加藤文元氏を加えた4人の数学者が
かなり論点整理をしてくれている>>334
その解説が
9.1. The η algorithm. で
Step 1～9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
3.11→3.12 のルートで
ここの 9.1.～3 をクリアにできれば
3.12の証明が 完成ってことだ
さて どうなるか楽しみ