PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: mem f dec 1 2
1. S: Type
2. s: S
3. l: S*
4. Fin(S)
5. u: S
6. v: S*
7. Dec(mem_f(S;s;v))

Dec(mem_f(S;s;u.v))
By: Reduce 0
Generated subgoal:

1 Dec(u = s mem_f(S;s;v))

About:
consuniverselistorequal