Leanに詳しい人教えて、mathlibにエタールコホモロジーが入ってないのはなんで？ (3ﾚｽ)
上下前次1-新

---

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

---

2: １３２人目の素数さん [] 2025/05/01(木) 15:39:42.95 ID:joN5psCP(1) AAS
>>1
くだらないスレを立てるな
どうしてもくだらないスレを立てたいなら、せめてくだらない話題で立てろ

---

3: １３２人目の素数さん [] 2025/06/16(月) 15:43:09.00 ID:PZD/g5BB(1) AAS
　　　-=≡///::　;;
　　／　　　''　　　　ヾ:::::＼
　/　 ｶﾙﾄの王者　　＼:::::＼
　|　　　　 ,　、　　　　　 彡::::| 　　　　　　　
ﾐ| _≡=、　　, =≡=_ 、　|:;;;;;/
| |　◎　|￣ |　◎　 |─´/　＼
| ヽ 二 /　　＼二／　　　>∂/　　／￣￣￣￣￣￣￣￣￣
/　　／(　　　　)＼　　　　 |__/＜　うんこ喰わせちゃった！！
|　 /　　 ⌒ ⌒　　　　　　　| |　＼＿＿＿＿＿＿＿＿＿＿ 　　　　　　　　
|　 ＼／ ヽ／＼＿／　　　/ |　　　　　　　　　　　　　　
.＼ ､ ＼￣￣／ヽ　　　　//　　　　　　　　　　　　　
　 ＼　|　￣　　 　／/／　　　　　
　　／　　　 ￣￣　＼
　　|　|　　　　　　　 |　|
　　|　|　　　　　　 　|　|
|⌒＼|　　　　　　　 |／⌒|
|　　　|　　　 |　　　 |　　　|
|　＼ （　　　　　　　） ／　|
|　　|＼＿__人＿___／| 　 |
|　　|　　　ヾ;;;;|　　　　| 　 |
　　　 　 　 ,lﾉl| 　　ﾌﾞﾊﾞﾁｭｳ!!. 　　　　.ｍ
　　　　　　人;;;;;;;￣￣￣ヽ/⌒⌒⌒ヽ|.|っ
　　　　　ノ:;;,ﾋ=ε;;;/∴　　|　　＿____ /⌒/⌒ヽ
　　　　(~´;;;;;;;ﾞ'‐;;´)　　　＠） （＿＿＿_/ .. _ ）
　　,i`（;;;ﾞ'-;;;;;;　◎;;;◎―　 /ミ|───,,＿__,/ ヽ
　　ヽ;;';ｰ--―;;;;￣;;;;;;￣Y　）←>>1　　 ｀'ｰ--､＼＿＿＿＿／　＜くそすれさいこー！！

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.200s*