Skip to content

Commit 4d5fc7f

Browse files
authored
update earlier theorem
1 parent 8861323 commit 4d5fc7f

File tree

2 files changed

+3
-12
lines changed

2 files changed

+3
-12
lines changed

theorems/T000680.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,11 @@ if:
77
- P000137: false
88

99
then:
10-
P000206: true
10+
P000234: true
1111
---
1212

13+
TODO update:
14+
1315
A space $X$ is {P206} if and only if the Kolmogorov quotient of $X$ is {P206}.
1416

1517
The Kolmogorov quotient of $X$ is {P23}, {P3} and non-empty, so strongly Choquet [(Explore)](https://topology.pi-base.org/spaces?q=weakly+locally+compact+%2B+T_2+%2B+not+empty+%2B+not+strongly+choquet).

theorems/T000862.md

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)