Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-19 14:22
48fd37e2
View on Github →
chore(Homeomorph): add
simps
(
#15948
)
Estimated changes
Modified
Mathlib/Topology/Homeomorph.lean
added
theorem
Homeomorph.homeomorphOfContinuousOpen_apply
added
theorem
Homeomorph.homeomorphOfContinuousOpen_symm_apply