Def Homeomorph.subtype

Modification history

2024-01-25 02:46

Mathlib/Topology/Homeomorph.lean

feat: add `Homeomorph.subtype` for lifting homeomorphisms to subtypes (#9959) …

Added Homeomorph.subtype View on Github →