Theorem ContinuousLinearMap.isInvertible_iff_isHomeomorph

Modification history

2026-08-23 12:41
Mathlib/Topology/Algebra/Module/ContinuousLinearMap/Invertible.lean
feat: a continuous linear map is invertible iff it is an homeomorphism (#42698) …
Added ContinuousLinearMap.isInvertible_iff_isHomeomorphView on Github →