Theorem isLindelof_iff_LindelofSpace

Modification history

2026-01-21 19:37

Mathlib/Topology/Compactness/Lindelof.lean

feat(HereditarilyLindelof): review and expand API (#33897)

Deleted isLindelof_iff_LindelofSpace View on Github →

2024-01-19 10:45

Mathlib/Topology/Compactness/Lindelof.lean

feat: add Lindelöf spaces and sets (#9107) …

Added isLindelof_iff_LindelofSpace View on Github →