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