Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
fintype.linear_independent_iff'
Modification history
2021-04-11 01:51
src/linear_algebra/linear_independent.lean
feat(analysis/normed_space/finite_dimension): set of `f : E âL[đ] F` of rank `âĽn` is open (#7022)
Added
fintype.linear_independent_iff'
View on Github â