User contributions for 41.116.24.207
Jump to navigation
Jump to search
20 January 2023
- 09:1409:14, 20 January 2023 diff hist +14,782 N Logic for Computer Scientists/Predicate Logic/Resolution →Lemma 5 (Lifting lemma) current