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

At: is intersection wf 1 1
1. T: Type
2. eq: {T}
3. L: T List

M:T List. nil(eq)M Type
By: AbReduce 0
Generated subgoals:

None

About:
listniluniversememberall

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