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

At: disjoint2 wf 1 1 2
1. T: Type
2. eq: {T}
3. eq TT
4. L: T List
5. M: T List
6. u: T
7. v: T List
8. disjoint(eq;v;M)

if u(eq) M false else disjoint(eq;v;M) fi
By: IfThenElseCases 0
Generated subgoals:

None

About:
listboolbfalseifthenelsefunctionuniversemember

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