(13steps) PrintForm Definitions Lemmas list 3 jlc Sections Support(jlc) Doc

At: sublist iff assert sublist 2 1 1
1. T: Type
2. Discrete{T}
3. eq: {T}
4. L: T List

M:T List. nil(eq)M (eq)(nil,M)
By: Reduce 0
Generated subgoals:

None

About:
listnilassertapplyuniverseall

(13steps) PrintForm Definitions Lemmas list 3 jlc Sections Support(jlc) Doc