x,y:T. f1(x,y) 
x = y4. f1
T
T
5. f2: T
T6.
x,y:T. f2(x,y) x = y7. f2
TT8. v: T
f1(v) = f2(v)T
x,y:T. f1(x,y) x = y) & f1 TT
T
x,y:T. f2(x,y) x = y) & f2 TT
f1 = f2
T]
| 1 | 3. x,y:T. f1(x,y) x = y 4. f1 TT5. f2: T T6. x,y:T. f2(x,y) x = y7. f2 TT8. v: T f1(v) = f2(v) |
About:
 |  |  |  |  |  |  |  |  |