>>511
Kirti 女子か、Kirti女史か？ 果たしてどっち？（＾＾；

>Mochizukiのアイデアを使わなかったのは、
>Dupuy同様、理解できなかったからでしょ

女史は、「I understand, crucial to [Moc12a; Moc12b; Moc12c; Moc12d]」とか
「As far as I understand this problem was considered, and solved (in many cases of interest) by Mochizuki in [Moc12a; Moc12b; Moc12c; Moc12d].」とか
あるよ

維新さんは、アンチバイアスが強くって、事実を曲げて、すぐ妄想IUTアンチの世界へ飛んでいけるんだ
良い性格している（＾＾；
ま、数学は無理！

（>>508）
”I understand, crucial to [Moc12a; Moc12b; Moc12c; Moc12d], but produced in loc. cit *). by entirely different means (for more on this labeling problem see Section 3). ”（>>480）
https://arxiv.org/pdf/2010.05748.pdf
Untilts of fundamental groups: construction of labeled isomorphs of fundamental groups
Kirti Joshi October 13, 2020
(抜粋)

I understand, crucial to [Moc12a; Moc12b; Moc12c; Moc12d], but produced in loc. cit. by entirely different means (for more on this labeling problem see Section 3).

P5
3 Untilts of tempered fundamental groups

So one may again ask: is it possible to provide copies of Π which are labeled by geometrically/topologically distinguishable labels?
As far as I understand this problem was considered, and solved (in many cases of interest) by Mochizuki in [Moc12a; Moc12b; Moc12c; Moc12d].
Theorem 2.5 provides a different solution to this problem.