4 lines
37 B
Plaintext
4 lines
37 B
Plaintext
Goal A -> B -> A.
|
|
intros.
|
|
Qed.
|
|
Check. |
Goal A -> B -> A.
|
|
intros.
|
|
Qed.
|
|
Check. |