Mathlib Changelog
v4
Changelog
About
Github
Theorem
linearIndependent_iff_linearCombinationOn
Modification history
2025-02-20 19:11
Mathlib/LinearAlgebra/LinearIndependent.lean
refactor(LinearIndependent): refactor to use LinearIndepOn (#21886) …
Deleted
linearIndependent_iff_linearCombinationOn
View on Github →
2024-08-30 00:21
Mathlib/LinearAlgebra/LinearIndependent.lean
chore: rename Finsupp.total (#16277) …
Added
linearIndependent_iff_linearCombinationOn
View on Github →