Theorem Matrix.trace_permutation

Modification history

2024-05-25 12:43
Mathlib/LinearAlgebra/Matrix/Permutation.lean
feat: trace of a permutation matrix (#13086) …
Added Matrix.trace_permutationView on Github →