Inter-universal geometry と ABC予想 (応援スレ) 52

[0437 １３２人目の素数さん 2021/03/01(月) 15:53:11.92 ID:v7ayOauM]

know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。