\lemmname 5.3.3 . [01TE]
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 5.3.3.
Soit un espace analytique (bon, séparé). Pour toute forme lisse de type dont le support est fortement paracompact, il existe des formes lisses fortement positives
et telles que .