Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
homeomorph.image_interior
Modification history
2022-01-22 20:00
src/topology/homeomorph.lean
feat(topology): add a few lemmas (#11607) …
Added
homeomorph.image_interior
View on Github →