Solution (source code)

= Solution

The extension $L/K$ is finite when $L$ is finite-dimensional as a <vector space> over $K$, and its degree is $[L:K]=\dim_KL$.