Repository navigation

Ultranormal and strongly zero-dimensional - #1414

Merged

prabau merged 14 commits into

mainfrom

Strongly-0-dimensional

Aug 28, 2025

Merged

Ultranormal and strongly zero-dimensional#1414
prabau merged 14 commits into
mainfrom
Strongly-0-dimensional

Commits on Aug 22, 2025
- Added ultranormal and strongly zero-dimensional
  Moniker1998
  committed
  63f6697
- equivalence for ultraconnected spaces
  Moniker1998
  committed
  5847d01
- added ultraconnected implies ultranormal
  Moniker1998
  committed
  0c142f1
- equivalence for strongly connected
  Moniker1998
  committed
  65cb311
- fixed id
  Moniker1998
  committed
  1df4030
Commits on Aug 25, 2025
- hopefully resolved conflicts with main
  Moniker1998
  committed
  95512a4
- Merge branch 'main' into Strongly-0-dimensional
  Moniker1998
  committed
  1c37591
- replaced T400 instead of adding new theorem
  Moniker1998
  committed
  49a0326
- removed bullet point of P217
  Moniker1998
  committed
  fdf34e6
- moved T771 to outdated T87
  Moniker1998
  committed
  ea85627
Commits on Aug 26, 2025
- Merge branch 'main' into Strongly-0-dimensional
  Moniker1998
  committed
  9b136d6
- changed numbering of theorems
  Moniker1998
  committed
  625f39a
Commits on Aug 28, 2025
- Update theorems/T000400.md
  
  Moniker1998
  and
  prabau
  authored
  8e3ab7a
- Update theorems/T000769.md
  
  Moniker1998
  and
  prabau
  authored
  a6f86cd