Source: wikibot/disjunctive-sum

= Disjunctive sum
{wiki=Disjunctive_sum}