Laurent series field ($k((t))$)

The Laurent series field $k((t))$ consists of formal series ${\sum }_{n\ge N}{a}_n{t}^n$. Its $t$-adic valuation is the least exponent with nonzero coefficient.