Mathlib Changelog
v4
Changelog
About
Github
Def
Homeomorph.inv₀
Modification history
2026-01-27 22:28
Mathlib/Topology/Algebra/GroupWithZero.lean
feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)
Added
Homeomorph.inv₀
View on Github →