Source: /wikibot/cut-elimination-theorem

= Cut-elimination theorem
{wiki=Cut-elimination_theorem}