Proposition 4.1 (ii), p. 212 — any K ⊆ L ∩ L_m(𝒢) is marked by a complete supervisor keeping L(𝒮_K/𝒢) = L

Initializing...

Proposition 4.1 (ii), p. 212 — any K ⊆ L ∩ L_m(𝒢) is marked by a complete supervisor keeping L(𝒮_K/𝒢) = L · Prove2Me