Proposition 5.61 . [02V4]
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 5.61.
The identity map of extend to an isomorphism of models .