mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-20 10:19:32 -06:00
5 lines
139 B
Plaintext
5 lines
139 B
Plaintext
We will show that A -> B -> A.
|
|
It is enough to assume A and show B -> A.
|
|
It is enough to assume A, B and show A.
|
|
But this holds trivially.
|