Level: Lib Thy Top: 1
Hypotheses:

  1. T :

  2. Fin(T)

  3. x : T

  4. y : T

Conclusion:

Dec(x = y)

Applied Tactic: D 2
Generated subgoals:

1. Dec(x = y)