PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: list in mem f list 2 1
1. T: Type
2. a: T
3. as: T*
4. as {x:T| mem_f(T;x;as) }*

a {x:T| a = x mem_f(T;x;as) }
By: Analyze
Generated subgoal:

1 a = a mem_f(T;a;as)

About:
membersetorequaluniverselist