Theorem IsLindeof.compl_mem_coclosedLindelof_of_isClosed

Modification history

2026-09-26 18:40
Mathlib/Topology/Compactness/Lindelof.lean
chore: fix misspellings in declaration names (#44049) …
Deleted IsLindeof.compl_mem_coclosedLindelof_of_isClosedView on Github →
2024-01-19 10:45
Mathlib/Topology/Compactness/Lindelof.lean
feat: add Lindelöf spaces and sets (#9107) …
Added IsLindeof.compl_mem_coclosedLindelof_of_isClosedView on Github →