Theorem LinearMap.toSpanSingleton_homothety

Modification history

2024-02-08 22:44
Mathlib/Analysis/NormedSpace/Span.lean
feat(NormedSpace): Move toSpanNonzeroSingleton to new file and add LinearIsometryEquiv (#10118)
Added LinearMap.toSpanSingleton_homothetyView on Github →