Commit 2025-01-14 07:17 9c0bf76a
View on Github →feat(Algebra/Lie): Define Lie algebra extensions (#20206) This PR defines extensions of Lie algebras. We follow the pattern used in defining extensions of groups.
feat(Algebra/Lie): Define Lie algebra extensions (#20206) This PR defines extensions of Lie algebras. We follow the pattern used in defining extensions of groups.