Theorem linearIndependent_finSucc'

Modification history

2026-04-09 12:35
Mathlib/LinearAlgebra/LinearIndependent/Lemmas.lean
chore: rename `fin_cons` etc to `finCons` (#37740) …
Added linearIndependent_finSucc'View on Github →