\propname 6.2.13 . [01VJ]

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

\propname 6.2.13.

Supposons que $\mathopen{|}{k^{\times}}\mathclose{|}\neq 1$ . Soit $X$ un espace strictement $k$ -analytique paracompact. Tout fibré vectoriel sur $X$ possède une métrique formelle.