[see also: simplicity]
For ease of notation, set $I=I_f$.
We note that the assumption of GCH is made for convenience and ease of presentation.
To ease notation, we write ......
Furthermore, adopting this strategy considerably eases constructing a coding tree from a linear order.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z