Alexandroff-Hausdorff Theorem and the Cantor Space#834

Merged

affeldt-aist merged 23 commits intomath-comp:masterfrom

zstone1:cantor_pt1

Nov 14, 2023

Commits on Nov 14, 2023

proving sups preserve countable ent

zstone1
authored and
affeldt-aist
committed
resolving merge stuff

zstone1
authored and
affeldt-aist
committed
minor cleanups

zstone1
authored and
affeldt-aist
committed
unneeded lemma

zstone1
authored and
affeldt-aist
committed
fixing merge

zstone1
authored and
affeldt-aist
committed
trying generic tree stuff

zstone1
authored and
affeldt-aist
committed
generalizing tree maps

zstone1
authored and
affeldt-aist
committed
much better factoring

zstone1
authored and
affeldt-aist
committed
making things local

zstone1
authored and
affeldt-aist
committed
changelog

zstone1
authored and
affeldt-aist
committed
rebase changelog

zstone1
authored and
affeldt-aist
committed
fixing build

zstone1
authored and
affeldt-aist
committed
cleaning up cantor stuff for PRs

zstone1
authored and
affeldt-aist
committed
alexandroff hausdorff

zstone1
authored and
affeldt-aist
committed
linting alexandroff hausdorff

zstone1
authored and
affeldt-aist
committed
fixing changelog

zstone1
authored and
affeldt-aist
committed
adding docs

zstone1
authored and
affeldt-aist
committed
Update theories/cantor.v

zstone1
and
affeldt-aist
committed
nitpicking
affeldt-aist
committed
fix
affeldt-aist
committed
fix changelog, mv clopen_surj
affeldt-aist
committed
fix
affeldt-aist
committed
fix
affeldt-aist
committed