Def direct_sum.decompose_linear_equiv

Modification history