Cut elimination theorem

Redirect to:

• Cut-elimination theorem