Scattered sequentially discrete spaces are anticompact - #1562

Merged

prabau merged 9 commits into

mainfrom

seqdisc-scattered-anticompact

Dec 30, 2025

Commits on Dec 28, 2025

Scattered sequentially discrete spaces are anticompact
yhx-12243
committed
f49d3ec

Commits on Dec 29, 2025

hered. locally closed
yhx-12243
committed
0880993
comment for CBR
yhx-12243
committed
e6f284e
adapt from P49
yhx-12243
committed
fbc84e6
Compact discrete ⇒ finite
yhx-12243
committed
be0b38c
mention k₁T₂
yhx-12243
committed
97a8037
Update theorems/T000813.md

yhx-12243
and
prabau
authored
df2470b

Commits on Dec 30, 2025

P170 meta-property
prabau
committed
225d2e1
Update theorems/T000813.md

Moniker1998
and
prabau
authored
58b7ee1