PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
mem
f
dec
1
2
1
1
1
1
1
2
2
1
1.
S:
Type
2.
s:
S
3.
l:
S*
4.
n:
5.
f:
n
S
6.
g:
S
n
7.
g o f = Id
8.
f o g = Id
9.
u:
S
10.
v:
S*
11.
Dec(mem_f(S;s;v))
12.
g(u) = g(s)
13.
Id(u) = Id(s)
u = s
By:
Reduce -1
Generated subgoals:
None
About:
S
u = s