Mathlib Changelog
v4
Changelog
About
Github
Theorem
exists_linearIndepOn_of_lt_rank
Modification history
2025-02-20 19:11
Mathlib/LinearAlgebra/Dimension/RankNullity.lean
refactor(LinearIndependent): refactor to use LinearIndepOn (#21886) …
Added
exists_linearIndepOn_of_lt_rank
View on Github →