Theorem Matrix.GeneralLinearGroup.transposeMulEquiv_symm_apply_op

Modification history

2026-10-28 01:55

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/Defs.lean

feat(LinearAlgebra/Matrix/GeneralLinearGroup/Defs): add `MulEquiv` for `GL` (#43945) …

Added Matrix.GeneralLinearGroup.transposeMulEquiv_symm_apply_op View on Github →