\lemmname 5.5.2 . [01TX]
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.5.2.
Pour qu’une fonction sur soit plurisousharmonique, il faut et il suffit qu’elle le soit au voisinage de tout point. En d’autres termes, le sous-foncteur du faisceau des fonctions continues sur est un faisceau.