Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_on.mono_dom

Modification history

2022-02-22 15:16

src/topology/continuous_on.lean

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

Added continuous_on.mono_dom View on Github →