Def direct_sum.lie_module_component

Modification history