# Commit 2018-11-05 09:01 849d2a41

View on Github →feat(analysis/topology/topological_space): define T0 spaces, T4 spaces, connected and irreducible sets and components (#448)

feat(analysis/topology/topological_space): define T0 spaces, T4 spaces, connected and irreducible sets and components (#448)