Theorem IsLindelof.compl_mem_coclosedLindelof_of_isClosed

Modification history

2026-09-26 18:40
Mathlib/Topology/Compactness/Lindelof.lean
chore: fix misspellings in declaration names (#44049) …
Added IsLindelof.compl_mem_coclosedLindelof_of_isClosedView on Github →