Mathlib Changelog
v4
Changelog
About
Github
Theorem
Homeomorph.coe_inv
Modification history
2024-01-15 16:44
Mathlib/Topology/Algebra/Group/Basic.lean
feat: three tiny homeomorph lemmas (#9166)
Added
Homeomorph.coe_inv
View on Github →