Inter-universal geometry と ABC予想 (応援スレ) 52at MATHInter-universal geometry と ABC予想 (応援スレ) 52 - 暇つぶし2ch483:Schlecht 21/03/01 16:07:19.15 Rz6p2V3E.net>>445 HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch