PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
fin
dist
func
1
1
1
1
1
1
1
1
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)
f(g(x)) = f(g(y))
By:
Assert (g(x) = g(y))
Generated subgoals:
1
g(x) = g(y)
2
9.
g(x) = g(y)
f(g(x)) = f(g(y))
About:
g(x) = g(y) f(g(x)) = f(g(y))
n
Stnn; St; f; g) f(g(x)) = f(g(y)) g(x) = g(y) f(g(x)) = f(g(y))
