Definition 5.3.
The element
[
a
]
∈
O
K
constructed in Theorem
5.2
is the
Teichm
ü
ller lift
of
a
.