2. eq: {T=
}3. P: T
Prop4. x: T
5. L: T List
x(
eq) L 
P(x) 
yL.P(y)
T:Type, eq:{T=}, P:(TProp), x:T, L:T List. x(eq) L P(x) yL.P(y)
| 1 | 1. T: Type 2. eq: {T= }3. P: T Prop4. x: T 5. L: T List x(eq) L P(x) yL.P(y) |
About:
 |  |  |  |  |  |  |