set?/t-nilも普通に証明できるかな できない理由は思いつかない set?/tとset?/nilをあわせた手間よりは楽にできるんじゃないかな やってみよう
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。