Mathlib Changelog
v4
Changelog
About
Github
Def
matrixAlgEquivEndVecMulOpposite
Modification history
2025-12-28 17:51
Mathlib/LinearAlgebra/Matrix/ToLin.lean
feat(Algebra): stably finite rings (#32262) …
Added
matrixAlgEquivEndVecMulOpposite
View on Github →