Skip to Content.
Sympa Menu

coq-club - [Coq-Club] question

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] question


chronological Thread 

Dear Professor:

how to prove:


Lemma AA1:forall (s s1 o o1 x x1:nat),
(s,o,x)<>(s1,o1,x1)->(s<>s1)\/(o<>o1)\/(x<>x1).


Lemma AA2:forall (s s1 o o1 x x1:nat),
(s<>s1)\/(o<>o1)\/(x<>x1)->(s,o,x)<>(s1,o1,x1).


Judy.





Archive powered by MhonArc 2.6.16.

Top of Page