Transitivity of algebraic extensions
ID: transitivity-of-algebraic-extensions
If and are algebraic field extensions, then is algebraic. In particular, an element algebraic over an algebraic extension of is algebraic over .
New to topics? Read the docs here!