Def direct_sum.gmul_hom

Modification history