2. E: T
T
3. s: T
4. t: T
5. EquivRel x,y:T. x E y
6. s E t
7. x: T
E(s,x) = E(t,x) 
T:Type, E:(TT), s,t:T. (EquivRel x,y:T. x E y) 
(s E t) E(s) = E(t)| 1 | 1. T: Type 2. E: T T3. s: T 4. t: T 5. EquivRel x,y:T. x E y 6. s E t 7. x: T E(s,x) = E(t,x) |
About:
 |  |  |  |  |  |  |  |