Lemma 5.15 [036Q]
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
Lemma 5.15
For , the following properties hold:
- (a)
If is a very affine chart of integration for , then every non-empty very affine open subset of is a very affine chart of integration for .
- (b)
The definition of is independent of the choice of the very affine chart of integration for .