1 problem

Henselianity conjecture. The valuation ring $\mathcal{O}$ is henselian.