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