Talk:Cut rule
Jump to navigation
Jump to search
Template:WikiProject banner shell
Proposed merge of Cut-elimination theorem with Cut rule
[edit source]The topic is already covered in the latter article. 1234qwer1234qwer4 00:10, 25 February 2026 (UTC)