# Commit 2021-07-22 07:37 c9593dcc

View on Github →feat(algebra/lie/direct_sum): define `direct_sum.lie_of`

, `direct_sum.to_lie_algebra`

, `direct_sum.lie_algebra_is_internal`

(#8369)
Various other minor improvements.

feat(algebra/lie/direct_sum): define `direct_sum.lie_of`

, `direct_sum.to_lie_algebra`

, `direct_sum.lie_algebra_is_internal`

(#8369)
Various other minor improvements.