\lemmname 3.3.1 . [01PF]

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

\lemmname 3.3.1.

Soit $X$ un espace $k$ -affinoïde et soit $x$ , $y$ des points distincts de $X$ . Il existe une fonction lisse sur $X$ qui vaut $0$ au voisinage de $x$ et $1$ au voisinage de $y$ .