Source: wikibot/disjunction-elimination

= Disjunction elimination
{wiki=Disjunction_elimination}