Proposition 4.1 (i), p. 212 — every K ⊆ L_m(𝒢) is marked by a complete supervisor with L(𝒮/𝒢) = L(𝒢)

Initializing...

Proposition 4.1 (i), p. 212 — every K ⊆ L_m(𝒢) is marked by a complete supervisor with L(𝒮/𝒢) = L(𝒢) · Prove2Me