Theorem LinearIndependent.sum_smul_of_nondegenerate

Modification history

2026-03-13 08:20
Mathlib/LinearAlgebra/Matrix/Nondegenerate.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added LinearIndependent.sum_smul_of_nondegenerateView on Github →