(4steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc

At: is member wf 1 2
1. T: Type
2. eq: TT
3. x: T
4. L: T List
5. u: T
6. v: T List
7. x(eq) v

x(eq) (u.v)
By: Rewrite (HigherC is_member_unrollC) 0
Generated subgoals:

None

About:
listconsboolfunctionuniversemember

(4steps) PrintForm Definitions list 3 jlc Sections Support(jlc) Doc