Theorem Matrix.swap_mul_of_ne

Modification history

2025-02-18 09:18

Mathlib/LinearAlgebra/Matrix/Swap.lean

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

Added Matrix.swap_mul_of_ne View on Github →