Level:
Lib
Thy
Top
:
1
1
Hypotheses:
A :
Conclusion:
f,g:A
A. InvFuns(A;A;f;g)
Applied Tactic:
(InstConcl [
Id{A}
;
Id{A}
] ...a)
Generated subgoals:
1
. InvFuns(A;A;Id{A};Id{A})
f,g:A 
A. InvFuns(A;A;f;g)
Id{A}
;Id{A}] ...a)