Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

A:. 1-1-Corresp(A;A)

Applied Tactic: (UnivCD ...a)
Generated subgoals:

1. 1-1-Corresp(A;A)