Mathlib Changelog v4

Changelog About Github

Theorem Matrix.trace_sum

Modification history

2023-04-02 23:34

Mathlib/LinearAlgebra/Matrix/Trace.lean

feat: port LinearAlgebra.Matrix.Trace (#3231)

Added Matrix.trace_sum View on Github →