Theorem ContinuousLinearEquiv.toContinuousLinearMap_one

Modification history

2026-05-20 02:56
Mathlib/Topology/Algebra/Module/Equiv.lean
feat(Analysis): more `LinearIsometryEquiv` API (#39144) …
Added ContinuousLinearEquiv.toContinuousLinearMap_oneView on Github →