PrintForm Definitions finite sets Sections AutomataTheory Doc

At: one one sym 1 1
1. T: Type
2. S: Type
3. f: TS
4. g:(ST). InvFuns(T; S; f; g)

S ~ T
By: Analyze 4
Generated subgoal:

14. g: ST
5. InvFuns(T; S; f; g)
S ~ T

About:
universefunctionexists