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

At: list iso commutative

T:Type, eq:{T}, L,M:T List. L(~eq)M M(~eq)L
By: UnivCD
Generated subgoal:

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

About:
listuniverseall

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