Level: Lib Thy Top: 1
Hypotheses:

  1. A :

  2. B :

  3. f : A B

  4. g : B A

  5. InvFuns(A;B;f;g)

Conclusion:

f:B A. g:A B. InvFuns(B;A;f;g)

Applied Tactic: (InstConcl [g;f] ...a)
Generated subgoals:

1. InvFuns(B;A;g;f)