P
Initializing...
Lemma 8.6 — $W^-(x) \subseteq \omega_+(E)$ for every $x \in \omega_+(E)$ (8.11) · Prove2Me