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

At: is intersection wf

T:Type, eq:{T}, L,M:T List. L(eq)M Type
By: RepeatFor 3 (Analyze 0)
Generated subgoal:

11. T: Type
2. eq: {T}
3. L: T List
M:T List. L(eq)M Type

About:
listuniversememberall

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