Proposition 7.6 . [01GR]
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
Proposition 7.6.
Let . Then, as runs through the directed set of SNC models on which is determined, forms a decreasing net of continuous functions on , converging pointwise to .