>>462

スレ主です 補足の補足

・形式的冪級数と多項式のモデルで、
 元の箱入り無数目R^Nの
 しっぽ同値類も説明できる
・時間があれば、書く