PrintForm Definitions relation autom Sections AutomataTheory Doc

At: one one corr symm 1
1. A: Type
2. B: Type
3. f: AB
4. g: BA
5. InvFuns(A; B; f; g)

f:(BA), g:(AB). InvFuns(B; A; f; g)
By: InstConcl [g;f]
Generated subgoal:

1 InvFuns(B; A; g; f)

About:
existsfunctionuniverse