Theorem LinearIndependent.finCons'

Modification history

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