P
Initializing...
Proof of Lemma 4.2, p. 555 — existence of the refined mapping π on each $N_O(o)$ · Prove2Me