mathlib
4c6b0de0 - feat(topology/bases): disjoint unions of second-countable spaces are second-countable (#12061)
