Leanに詳しい人教えて、mathlibにエタールコホモロジーが入ってないのはなんで？at MATH

---

1:１３２人目の素数さん
25/05/01 13:53:40.12 WPE4OMis.net
Perfectoid spaceを形式化するよりよっぽど簡単だと思うんだがどこで詰まってるの？
GPTに聞いたらスキームですらまともに扱えてないとか言ってんだけど

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch