Mathlib Changelog
v4
Changelog
About
Github
Theorem
Matrix.stdBasis_eq_stdBasisMatrix
Modification history
2024-02-20 01:19
Mathlib/LinearAlgebra/StdBasis.lean
chore(LinearAlgebra): Fintype -> Finite (#10722)
Modified
Matrix.stdBasis_eq_stdBasisMatrix
View on Github →
2023-04-06 14:47
Mathlib/LinearAlgebra/StdBasis.lean
feat: port LinearAlgebra.StdBasis (#3264)
Added
Matrix.stdBasis_eq_stdBasisMatrix
View on Github →