Theorem T000360

$\omega$-Lindelöf ⇒ Lindelöf

Evident from the definitions.

Show markdown

• Converse
• References

• Some properties of C(X), I (Gerlits & Nagy)