external direct sum

1. REDIRECT Direct sum#Internal and external direct sums

{{Redirect category shell|

{{R to anchor}}

{{R from subtopic}}

}}