Mathlib v3 is deprecated. Go to Mathlib v4

Def matrix.to_lie_algebra

Modification history

2021-12-04 01:52
src/algebra/lie/cartan_matrix.lean
feat(*): `A ⧸ B` notation for quotients in algebra (#10501) …
Modified matrix.to_lie_algebraView on Github →
2021-07-07 12:02
src/algebra/lie/from_cartan_matrix.lean
feat(algebra/lie/from_cartan_matrix): construction of a Lie algebra from a Cartan matrix (#8206)
Added matrix.to_lie_algebraView on Github →