§7, p. 218 — C_𝒢(L), F_𝒢(L) (and C_𝒢(L) ∩ F_𝒢(L)) contain their supremal elements

Initializing...

§7, p. 218 — C_𝒢(L), F_𝒢(L) (and C_𝒢(L) ∩ F_𝒢(L)) contain their supremal elements · Prove2Me