Def Matrix.reindexLieEquiv

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 View on Github →

2023-06-03 08:32

Mathlib/Algebra/Lie/Matrix.lean

feat: port Algebra.Lie.Matrix (#4621)

Added Matrix.reindexLieEquiv View on Github →