# 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)

Mathlib v3 is deprecated. Go to Mathlib v4

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