1 problem

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with non-trivial valuation, let $M$ be a finite free differential module over $K[\![t]\!]_0$, and let…