Leanに詳しい人教えて、mathlibにエタールコホモロジーが入ってないのはなんで？
at MATH
1:１３２人目の素数さん
25/05/01 13:53:40.12 WPE4OMis.net
Perfectoid spaceを形式化するよりよっぽど簡単だと思うんだがどこで詰まってるの？
GPTに聞いたらスキームですらまともに扱えてないとか言ってんだけど
レスを読む最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
155日前に更新/2015 Bytes
担当:undef