1 problem

Let ${\boldsymbol{\bvar}}$ be the valuation ring setting described in the paper, let $(G_{\mathcal O})_{\oplus}^+=\{g\in G_{\mathcal O}\mid g.0_{\oplus}\geq 0_{\oplus}\}$, and let…