Theorem Matrix.conjTranspose_permMatrix

Modification history

2025-03-20 16:17
Mathlib/LinearAlgebra/Matrix/Permutation.lean
feat: generalize Mathlib.LinearAlgebra.Matrix (#23144) …
Modified Matrix.conjTranspose_permMatrixView on Github →
2025-02-18 09:18
Mathlib/LinearAlgebra/Matrix/Permutation.lean
feat(LinearAlgebra/Matrix): swap matrices (#19812) …
Added Matrix.conjTranspose_permMatrixView on Github →