z
1 else 0 fi
a,b:
, z:{a..b
}. trivial_factorization(z) 
{a..b}
j == if i=j true ; false fii,j:. (i=j) 
== {i:| 0
i } Type| Some definitions of interest. | |
| trivial_factorization | z 1 else 0 fi |
| a,b:, z:{a..b}. trivial_factorization(z) {a..b} | |
| eq_int | j == if i=j true ; false fi |
| i,j:. (i=j) | |
| nat | == {i:| 0i } |
| Type |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |  |