Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update theorems/T000698.md
Browse files Browse the repository at this point in the history
Co-authored-by: Patrick Rabau <[email protected]>
Moniker1998 and prabau authored Jan 28, 2025
1 parent 3c00366 commit fe867e4
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion theorems/T000698.md
Original file line number Diff line number Diff line change
@@ -12,4 +12,6 @@ refs:
name: Answer to "Connected, locally compact, paracompact Hausdorff space is exhaustible by compacts"
---

In {{mathse:5028016}} it was shown that a {P36} locally Lindelöf {P105} space is {P18}, and {P23} implies locally Lindelöf.
Call a space *weakly locally Lindelöf* if every point has a neighborhood that is Lindelöf.

In {{mathse:5028016}} it is shown that a {P36} weakly locally Lindelöf {P105} space is {P18}, and {P23} implies weakly locally Lindelöf.

0 comments on commit fe867e4

Please sign in to comment.