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 →