Theorem linearIndependent_finCons

Modification history

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