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

At: remove is member

T:Type, eq:{T}, x,y:T, L:T List. x(eq) remove(eq;y;L) x(eq) L
By: UnivCD
Generated subgoal:

11. T: Type
2. eq: {T}
3. x: T
4. y: T
5. L: T List
6. x(eq) remove(eq;y;L)
x(eq) L

About:
listassertuniverseimpliesall

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