Test 1

2022-05-10 15:13:03 +02:00
parent 98a9e6964f
commit d451f1ba72
1 changed files with 6 additions and 1 deletions
@@ -2,4 +2,9 @@
 intro f.
 intro b.
 intro a.
-cut B -> C
+cut B -> C.
+intro g.
+apply g.
+assumption.
+apply f.
+assumption.