internal direct sum

1. REDIRECT Direct sum#Internal and external direct sums

{{Redirect category shell|

{{R to section}}

{{R from subtopic}}

}}