PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: select mem 1 1
1. T: Type
2. L: T*
3. u: T
4. v: T*
5. i:||v||. mem_f(T;v[i];v)
6. i: (||v||+1)
7. i0

u = u mem_f(T;u;v)
By: Sel 1 (Analyze 0)
Generated subgoals:

None

About:
orequaluniverselistallnatural_numberadd