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