Def direct_sum.mk

Modification history