PrintForm Definitions relation autom Sections AutomataTheory Doc

At: one one corr refl 1 1
1. A: Type

f,g:(AA). InvFuns(A; A; f; g)
By: InstConcl [Id;Id]
Generated subgoal:

1 InvFuns(A; A; Id; Id)

About:
existsfunctionuniverse