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

At: remove wf 1 1
1. T: Type
2. eq: TT
3. x: T
4. L: T List

remove(eq;x;nil) T List
By: Rewrite (HigherC remove_unrollC) 0
Generated subgoal:

1 nil T List

About:
listnilboolfunctionuniversemember

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