Theorem Matrix.map_swap

Modification history

2025-03-20 16:17

Mathlib/LinearAlgebra/Matrix/Swap.lean

feat: generalize Mathlib.LinearAlgebra.Matrix (#23144) …

Modified Matrix.map_swap View on Github →

2025-02-18 09:18

Mathlib/LinearAlgebra/Matrix/Swap.lean

feat(LinearAlgebra/Matrix): swap matrices (#19812) …

Added Matrix.map_swap View on Github →