Theorem LinearMap.toSpanSingleton_add

Modification history

2025-08-29 10:14

Mathlib/LinearAlgebra/Span/Basic.lean

chore(LinearAlgebra/Span/Basic): some API for `toSpanSingleton` (#29086) …

Added LinearMap.toSpanSingleton_add View on Github →