Theorem Matrix.reindexLieEquiv_apply

Modification history

2025-06-02 06:39
Mathlib/Algebra/Lie/Matrix.lean
feat: various lemmas to support construction of Lie algebra from root system (#25214)
Modified Matrix.reindexLieEquiv_applyView on Github →
2023-06-03 08:32
Mathlib/Algebra/Lie/Matrix.lean
feat: port Algebra.Lie.Matrix (#4621)
Added Matrix.reindexLieEquiv_applyView on Github →