3 lines
45 B
Plaintext
3 lines
45 B
Plaintext
Goal A -> B -> C -> A.
|
|
intros.
|
|
try autosolve. |
Goal A -> B -> C -> A.
|
|
intros.
|
|
try autosolve. |