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