Theorem nonempty_linearIndependent_set
Modification history
2025-05-09 11:08
Mathlib/LinearAlgebra/Dimension/Basic.lean
chore(LinearAlgebra): generalize some lemmas (#23729) …
Deleted nonempty_linearIndependent_setView on Github →2025-02-20 19:11
Mathlib/LinearAlgebra/Dimension/Basic.lean
refactor(LinearIndependent): refactor to use LinearIndepOn (#21886) …
Modified nonempty_linearIndependent_setView on Github →