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

At: apply wf sublist 2 1
1. T: Type
2. L: T List
3. M: T List
4. eq: TT

(eq)(L,M)
By:
Unfold `sublist_2` 0
THEN
Reduce 0
Generated subgoals:

None

About:
listboolapplyfunctionuniversemember

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