Novak space is extremally disconnected#1200

Merged

prabau merged 7 commits intomainfrom

Novak's-space-extremally-disconnected

Dec 11, 2025

Commits on Jan 18, 2025

is extremally disconnected
Moniker1998
committed

Commits on Jan 19, 2025

Update spaces/S000109/properties/P000049.md

Moniker1998
and
prabau
authored

Commits on Jan 23, 2025

Update spaces/S000109/properties/P000049.md

Moniker1998
and
prabau
authored

Commits on Jan 24, 2025

Merge remote-tracking branch 'origin/main' into Novak's-space-extremally-disconnected
StevenClontz
committed

Commits on Dec 10, 2025

Update spaces/S000109/properties/P000049.md

Moniker1998
and
prabau
authored

Commits on Dec 11, 2025