Source: wikibot/conjunction-elimination

= Conjunction elimination
{wiki=Conjunction_elimination}