\propname 3.4.1 . [01PU]
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 3.4.1.
Soit un espace -affinoïde et soit une forme lisse sur . Il existe une famille finie de fonctions holomorphes sur possédant la propriété suivante : soit , soit l’ensemble des indices tels que , soit l’ouvert d’inversibilité simultanée des pour et soit le moment ; le point possède un voisinage ouvert dans tel que tropicalise .