Theorem Matrix.StdBasisMatrix.trace_zero
Modification history
2025-05-06 15:16
Mathlib/LinearAlgebra/Matrix/Trace.lean
refactor: rename `Matrix.stdBasisMatrix` to `Matrix.single` (#24622) …
Deleted Matrix.StdBasisMatrix.trace_zeroView on Github →2025-05-06 11:37
Mathlib/LinearAlgebra/Matrix/Trace.lean
refactor: make `LieAlgebra.SpecialLinear.Eb` take an `r` argument (#24613) …
Modified Matrix.StdBasisMatrix.trace_zeroView on Github →