« degree of field extensions
default
nord
catppuccin
serena
finiteness
[1203B]
A field extension $K / F$ is called
finite
if $[K : F] < \infty$.