Definition
(Degree of a morphism)
.
deg
ϕ
[
K
(
C
1
)
:
ϕ
∗
K
(
C
2
)
]
.