Theorem 7.9 . [01GZ]
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
Theorem 7.9.
Let be an arbitrary set of -psh functions on and assume that is uniformly bounded from above. If we set for each , then the usc regularization of is -psh and coincides with on .