Local Fields
《Local Fields》 · 第 14 页 · Chapter I，Section 4「Extensions」
When there is only one prime ideal $\mathfrak P$ which divides $\mathfrak p$ and $f_{\mathfrak P}=1$, one says that $L/K$ is totally ramified at $\mathfrak p$.