Mathlib Changelog
v4
Changelog
About
Github
Theorem
Matrix.conjTranspose_swap
Modification history
2025-03-20 16:17
Mathlib/LinearAlgebra/Matrix/Swap.lean
feat: generalize Mathlib.LinearAlgebra.Matrix (#23144) …
Modified
Matrix.conjTranspose_swap
View on Github →
2025-02-18 09:18
Mathlib/LinearAlgebra/Matrix/Swap.lean
feat(LinearAlgebra/Matrix): swap matrices (#19812) …
Added
Matrix.conjTranspose_swap
View on Github →