Remark 4.12 . [05AT]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Remark 4.12.

It is easy to see that Proposition 4.5, Lemma 4.6 and Lemma 4.8 remain true if we replace formal metrics by piecewise $\mathbb{Q}$ -linear metrics.