PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
one
one
sym
1
1.
T:
Type
2.
S:
Type
3.
T ~ S
S ~ T
By:
Analyze 3
Generated subgoal:
1
3.
f:
T
S
4.
g:(S
T). InvFuns(T; S; f; g)
S ~ T
About:
S
g:(ST). InvFuns(T; S; f; g)
S ~ T S ~ TSg:(ST). InvFuns(T; S; f; g) S ~ T