Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-06-08 16:20
65788427
View on Github →
chore: deprecate duplicate IsLocalHomeomorph.Homeomorph.isLocalHomeom… (
#40284
) …orph
Estimated changes
Modified
Mathlib/Topology/IsLocalHomeomorph.lean
deleted
theorem
IsLocalHomeomorph.Homeomorph.isLocalHomeomorph