T
T
7.
x:T. f(x,x)8.
x,y:T. f(x,y) 
f(y,x)9.
x,y,z:T. f(x,y) 
f(y,z) f(x,z)10. x: T
11. y: T
12. eq(x,y)
13. x = y
f(x,y)
}
TT
x,y:T. eq(x,y) x = y
}
f(x,y)
| 1 | 6. f TT 7. x:T. f(x,x)8. x,y:T. f(x,y) f(y,x)9. x,y,z:T. f(x,y) f(y,z) f(x,z)10. x: T 11. y: T 12. eq(x,y) 13. x = y f(x,y) |
About:
 |  |  |  |  |  |  |  |