Theorem Matrix.GeneralLinearGroup.coe_unop_transposeMulEquiv

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.coe_unop_transposeMulEquivView on Github →