Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch331:１３２人目の素数さん
26/07/19 17:44:34.75 PUqsP0tr.net
>>329
星も望月も山下もYangも今形式化に取り組み始めてると報告されてたよ
形式化出来ないとは考えてないと思うよ

次ページ

続きを表示

1を表示