P
Initializing...
Theorem 5.11, p. 24 (corrected) — for lsc g, the image function (Bg) is lsc at every point of B dom g iff (5.5) holds on dom g · Prove2Me