Proof of Theorem 10.1, p. 223 — π is a projection 𝒮⁰ → 𝒮 with X⁰_m := π⁻¹(X_m), φ⁰ := φ∘π

Initializing...

Proof of Theorem 10.1, p. 223 — π is a projection 𝒮⁰ → 𝒮 with X⁰_m := π⁻¹(X_m), φ⁰ := φ∘π · Prove2Me