Proof. [03B2]
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
Proof.
These properties are proved in [Gub98, Section 7] under the assumption that is algebraically closed and is compact. The assumption algebraically closed was not used in the arguments. Since (a)–(d) are local statements, we can deduce them from the corresponding statements in loc. cit. ∎