Theorem Homeomorph.ofEqSubtypes_toEquiv

Modification history

2025-11-21 15:41
Mathlib/Topology/Constructions.lean
feat: ContinuousLinearEquiv.submoduleMap and friends (#31899) …
Added Homeomorph.ofEqSubtypes_toEquivView on Github →