Theorem linearIndependent_fin_succ

Modification history

2026-04-09 12:35
Mathlib/LinearAlgebra/LinearIndependent/Lemmas.lean
chore: rename `fin_cons` etc to `finCons` (#37740) …
Deleted linearIndependent_fin_succView on Github →
2025-02-25 23:58
Mathlib/LinearAlgebra/LinearIndependent.lean
chore(LinearAlgebra): split LinearIndependent into Defs, Basic, Lemmas (#22065) …
Modified linearIndependent_fin_succView on Github →
2023-02-23 12:36
Mathlib/LinearAlgebra/LinearIndependent.lean
feat: port LinearAlgebra.LinearIndependent (#2436)
Added linearIndependent_fin_succView on Github →