Def direct_sum.lie_algebra_is_internal

Modification history