Level: Lib Thy Top: 1
Hypotheses:

  1. T :

  2. S :

  3. 1-1-Corresp(T;S)

Conclusion:

1-1-Corresp(S;T)

Applied Tactic: D 3
Generated subgoals:

1. 1-1-Corresp(S;T)