Proof of Theorem 10.1, p. 223 — L(𝒮⁰/𝒢) = K₃ follows from enablement conditions (i), (ii)

Initializing...

Proof of Theorem 10.1, p. 223 — L(𝒮⁰/𝒢) = K₃ follows from enablement conditions (i), (ii) · Prove2Me