Theorem Matrix.trace_map'

Modification history

2026-06-29 22:55
Mathlib/LinearAlgebra/Trace.lean
feat(LinearAlgebra): fill two proof_wanted declarations (#39046) …
Added Matrix.trace_map'View on Github →