| This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
| |||||||||||
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)