Def direct_sum.lmk

Modification history