17/09/23 11:57:02.68 8lIM/3/v.net
>>525
同意ありがとう
>但しあなたの持論「同値類に co-tail が存在する」は言えてないことになりますが
その話は、後で
もともと、「co-tail が、構成的に書けない」という批判に対して、”構成的に書けない類似の集合の例”として、
”co-tail'_d”(>>460)や、”co-tail’”(>>382-383)を、例示して、反論したわけです
証明は、”41 スレリンク(math板:580-589番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”(>>11)
で、そのままです