MinArg(E(n) : {0..n
}) = MinArg(E(k) : {0..k}) 
. x E y MinArg(E(n) : {0..n}) = MinArg(E(k) : {0..k}) 
E:(TT), s,t:T. (EquivRel x,y:T. x E y) 
(s E t) E(s) = E(t)
[4;5]| 1 | 6. E(n) = E(k) MinArg(E(n) : {0..n}) = MinArg(E(k) : {0..k}) |
About:
 |  |  |  |  |