Proof of Theorem 10.1, p. 223 — the supervisor 𝒮⁰ = (S⁰, φ∘π) is complete · Prove2Me

P

Initializing...

Proof of Theorem 10.1, p. 223 — the supervisor 𝒮⁰ = (S⁰, φ∘π) is complete · Prove2Me