Dieudonne complete - #1426

Merged

prabau merged 39 commits into

mainfrom

completely-uniformizable

Jul 21, 2026

Commits on Sep 1, 2025

added completely uniformizable
Moniker1998
committed
6d9d85e
added
Moniker1998
committed
13b6476

Commits on Sep 2, 2025

Kelley
Moniker1998
committed
6e49252
added Engelking and equivalent definitions
Moniker1998
committed
923600b
added another justification to a theorem
Moniker1998
committed
dcf557b
T386 change
Moniker1998
committed
a351154
changes to description, theorem to be finished
Moniker1998
committed
b868adb
proof of T777 updated
Moniker1998
committed
fb3f303

Commits on Jul 12, 2026

Update properties/P000221.md

Moniker1998
and
prabau
authored
1fe2b16
Apply suggestion from @prabau

Moniker1998
and
prabau
authored
95c5c37
Update P000221.md
Moniker1998
authored
e9168d0
Update P000221.md
Moniker1998
authored
0f93f37
Update T000386.md
Moniker1998
authored
266fc1e
add Kolmogorov meta to P22
Moniker1998
committed
9fd4fe0
add explore link to T777
Moniker1998
committed
fe75d38
add note to P207
Moniker1998
committed
cec9bf6
added a remark that uniformity induces topology
Moniker1998
committed
23ebe1c
add explore to T776
Moniker1998
committed
f9d4d2c
Update theorems/T000777.md

Moniker1998
and
felixpernegger
authored
ecb2f1a

Commits on Jul 13, 2026

Cauchy net converges to its adherence points
Moniker1998
committed
5fd2db6
Update T000777.md
Moniker1998
committed
b496e50
fix a broken file
Moniker1998
committed
50036a8
T777: remove duplicate text, plus cosmetic changes
prabau
committed
3c2a191
fix missing double quotes
prabau
committed
11dd212

Commits on Jul 14, 2026

Update theorems/T000777.md

Moniker1998
and
prabau
authored
60f4995
elaboration on nomenclature
Moniker1998
committed
710c326
rephrased equivalent statements to include non-T0 case
Moniker1998
committed
99ed32e

Commits on Jul 16, 2026

renamed theorems
Moniker1998
committed
d3b077d
Merge branch 'main' into completely-uniformizable
Moniker1998
authored
d75a5b1
doi => zb
felixpernegger
committed
7d964f8

Commits on Jul 17, 2026

P63 cosmetic
prabau
committed
f26685d
P221 updates
prabau
committed
9517dd6
Update properties/P000055.md

Moniker1998
and
prabau
authored
ed83bb5

Commits on Jul 18, 2026

T915 cosmetic
prabau
authored
5f9e3d1

Commits on Jul 20, 2026

Update theorems/T000917.md

Moniker1998
and
prabau
authored
d94dcda
Update theorems/T000917.md

Moniker1998
and
prabau
authored
eaffea7
Update properties/P000221.md

Moniker1998
and
prabau
authored
a95d2c5
Update theorems/T000916.md

Moniker1998
and
prabau
authored
09b8ea2
Update theorems/T000386.md

Moniker1998
and
prabau
authored
070ab95