PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
list
in
mem
f
list
2
1
1
1.
T:
Type
2.
a:
T
3.
as:
T*
4.
as
{x:T| mem_f(T;x;as) }*
a = a
mem_f(T;a;as)
By:
Sel 1 (Analyze 0)
Generated subgoals:
None
About:
{x:T| mem_f(T;x;as) }*
a = a 
mem_f(T;a;as)
