Consider the following statement:
Assume $E$ and $F$ are unramified (over some fixed prime) finite separable extensions of a field $K$. Then $EF$ is also unramified.
I always thought that it is called Abhyankar's lemma (and indeed it is a special case of it, see https://en.wikipedia.org/wiki/Abhyankar%27s_lemma).
My question is whether this statement is indeed named after Abhyankar. If so, a reference would be appreciated, if not, how is it called?