Def direct_sum.of

Modification history