Theorem linearIndepOn_finset_iffₛ

Modification history

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