Mathlib v3 is deprecated. Go to Mathlib v4

Theorem closed_embedding_inl

Modification history

2022-02-22 15:16

src/topology/constructions.lean

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

Added closed_embedding_inl View on Github →