Repository navigation

Complete S195 "Join of cofinite and left-ray topologies on ω1" - #1486

Draft

plp127 wants to merge 8 commits into

mainfrom

Commits on Oct 2, 2025
- add a bunch of properties
  plp127
  committed
  980e25b
Commits on Oct 3, 2025
- delete redundancies (+ corrections)
  plp127
  committed
  23e99ab
- fix ups
  plp127
  committed
  04e3bcc
- add not basically disconnected
  plp127
  committed
  2f59c70
- ordinal addition not commutative
  plp127
  committed
  d7d58db
Commits on Oct 5, 2025
- more proofs
  plp127
  committed
  1691f83
Commits on Oct 6, 2025
- that's not true
  plp127
  authored
  e5b3f15
Commits on Nov 23, 2025
- not subparacompact
  plp127
  committed
  a5f4f00