Theorem linearIndepOn_iff_linearIndepOn_finset

Modification history

2025-05-10 21:30
Mathlib/LinearAlgebra/LinearIndependent/Defs.lean
feat: `LinearIndepOn` versions of existing `LinearIndependent` lemmas (#24747) …
Added linearIndepOn_iff_linearIndepOn_finsetView on Github →