Def direct_sum.add_subgroup_coe

Modification history