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.