Test 6

2022-05-10 15:15:59 +02:00
parent d451f1ba72
commit 2ce406f7f2
1 changed files with 10 additions and 0 deletions
@@ -1 +1,11 @@
 (A -> B -> C) -> (A -> B) -> A -> C
 intro f.
 intro g.
 intro a.
 cut B -> C.
 intro h.
 apply h.
 apply g.
 assumption.
 apply f.
 assumption.