Theorem 3.1 . [01EG]
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
Theorem 3.1.
Let be any SNC model of .
- (i)
The image of the evaluation map coincides with .
- (ii)
There exists a unique continuous (injective) map such that:
- (a)
is the identity on ;
- (b)
for , the center of on is the generic point of for the unique subset such that is contained in the relative interior of .
- (a)