P
Initializing...
Theorem 5 (i) (Lifting Theorem), p. 15 — 𝒫′ = Π_z̃𝒫 · Prove2Me