Finite extension

A field extension $𝐿 : 𝐾$ is finite iff it has finite degree, #m/def/field i.e. $𝐿$ is a finite-dimensional vector space over $𝐾$ . In particular such an extension is algebraic.

#state/tidy | #lang/en | #SemBr