Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
The argument in [Gub98, Lemma 7.6] shows that admits a formal metric.
Hence, tensoring by , we can assume that
and we are reduced to prove that for any continuous function there exists a sequence of model
functions which converges uniformly to
which was done in Proposition 2.13.
∎