6 lines
43 B
Plaintext
6 lines
43 B
Plaintext
|
Goal A -> B.
|
||
|
|
intro.
|
||
|
|
Undo.
|
||
|
|
Undo.
|
||
|
|
Undo.
|
||
|
|
Undo.
|