Talk:Cut rule

Proposed merge of Cut-elimination theorem with Cut rule

[edit]

The topic is already covered in the latter article. 1234qwer1234qwer4 00:10, 25 February 2026 (UTC)[reply]