Proposition 7.1, p. 218 — C_𝒢(L) and F_𝒢(L) are nonempty and closed under arbitrary unions

Initializing...

Proposition 7.1, p. 218 — C_𝒢(L) and F_𝒢(L) are nonempty and closed under arbitrary unions · Prove2Me