Source: wikibot/direct-sum

= Direct sum
{wiki=Direct_sum}