mathlib
c1edbec8 - feat(set_theory/ordinal_topology): Basic results on the order topology of ordinals (#11861)

Commit

3 years ago

feat(set_theory/ordinal_topology): Basic results on the order topology of ordinals (#11861) We link together various notions about ordinals to their topological counterparts.

Author

vihdzp

Parents

09ea7fb0

mathlib c1edbec8 - feat(set_theory/ordinal_topology): Basic results on the order topology of ordinals (#11861)

mathlib
c1edbec8 - feat(set_theory/ordinal_topology): Basic results on the order topology of ordinals (#11861)