Theorem ContinuousLinearEquiv.toContinuousLinearMap_equivOfInverse'

Modification history

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