PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
hd
map
1
1
1.
A:
Type
2.
B:
Type
3.
l:
A*
4.
f:
A
B
5.
||l|| > 0
map(f;l)[0] = f(l[0])
By:
RWH (LemmaC
Thm*
f:(A
B), as:A*, n:
||as||. map(f;as)[n] = f(as[n])) 0
Generated subgoals:
None
About:
B
map(f;l)[0] = f(l[0])
f:(AB), as:A*, n:
||as||. map(f;as)[n] = f(as[n]))
0
