Source: /wikibot/direct-sum

= Direct sum
{wiki=Direct_sum}