Theorem ContinuousLinearEquiv.toLinearEquiv_ofIsHomeomorph

Modification history

2026-08-13 20:38
Mathlib/Topology/Algebra/Module/Equiv.lean
chore: split `ContinuousLinearMap.IsInvertible` to its own file (#42697) …
Added ContinuousLinearEquiv.toLinearEquiv_ofIsHomeomorphView on Github →