Source: wikibot/disjoint-union

= Disjoint union
{wiki=Disjoint_union}