PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
fin
dist
func
1
1
1
1
1
1
1
1
2
1.
St:
Type
2.
n:
3.
f:
n
St
4.
g:
St
n
5.
InvFuns(
n; St; f; g)
6.
x:
St
7.
y:
St
8.
g(x) = g(y)
9.
g(x) = g(y)
f(g(x)) = f(g(y))
By:
RWH (HypC 9) 0
Generated subgoals:
None
About:
n
Stnn; St; f; g)
f(g(x)) = f(g(y))
