Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
equiv.to_homeomorph_of_inducing
Modification history
2022-02-22 15:16
src/topology/homeomorph.lean
feat(topology/bases): disjoint unions of second-countable spaces are second-countable (#12061)
Added
equiv.to_homeomorph_of_inducing
View on Github →