Def direct_sum.is_internal

Modification history