Source: wikibot/deduction-theorem

= Deduction theorem
{wiki=Deduction_theorem}