a1,a2:
2.
(
n.if n=
0
true else false fi)(a1) = (n.if n=0 true else false fi)(a2) 
a1 = a2 Inj(2; ; n.if n=0 true else false fi)| 1 | a1,a2:2.
(n.if n=0 true else false fi)(a1) = (n.if n=0 true else false fi)(a2) a1 = a2 |
About:
 |  |  |  |  |
 |  |  |  |  |