ScalingStacks

\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 uu sur XX soit plurisousharmonique, il faut et il suffit qu’elle le soit au voisinage de tout point. En d’autres termes, le sous-foncteur U↦CPsh⁡(U)U\mapsto\operatorname{CPsh}(U) du faisceau des fonctions continues sur XX est un faisceau.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.