Source: wikibot/biconditional-elimination

= Biconditional elimination
{wiki=Biconditional_elimination}