Mathlib Changelog v4

Changelog About Github

Theorem LinearMap.IsProj.trace

Modification history

2023-05-23 11:38

Mathlib/LinearAlgebra/Trace.lean

feat: port LinearAlgebra.Trace (#4264)

Added LinearMap.IsProj.trace View on Github →