Theorem LinearEquiv.toSpanNonzeroSingleton_apply

Modification history

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