Theorem Matrix.GeneralLinearGroup.map_swap

Modification history

2025-02-18 09:18
Mathlib/LinearAlgebra/Matrix/Swap.lean
feat(LinearAlgebra/Matrix): swap matrices (#19812) …
Added Matrix.GeneralLinearGroup.map_swapView on Github →