PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: shorten list 2 2 1
1. T: Type
2. L: T*
3. La: T*
4. Fin(T)
5. u: T
6. v: T*
7. mem_f(T;u;L)
8. t: T
9. u = t mem_f(T;t;v)

mem_f(T;t;L) u = t mem_f(T;t;v)
By: ProveProp
Generated subgoals:

None

About:
orequaluniverselist