Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
eq:{T=
}.
x,y,z:T.
(eq x y)
(eq y z)
(eq x z)
Applied Tactic:
RepeatFor 5 (D 0 THENA Auto)
Generated subgoals:
1
.
(eq x y)
(eq y z)
(eq x z)
T:
. eq:{T=
}. x,y,z:T. 
(eq x y) 
(eq y z) (eq x z)(eq x y) (eq y z) (eq x z)