3 ms·
I think the missing piece is just note that, for actual proof applications, the length of the individual "strings" and the total number of them is both (countab
by quietbritishjim 3y ago
I think the missing piece is just note that, for actual proof applications, the length of the individual "strings" and the total number of them is both (countable) infinity, so the size does match.
- thaumasiotes 3y agoIt's not necessary that they match. All you need is that the length of each string is not less than its position in the list.