Nuprl Definition : code-pair

code-pair(a;b) ==  t(a + b) + a


Definitions occuring in Statement :  triangular-num: t(n),  add: n + m
Definitions occuring in definition :  add: n + m,  triangular-num: t(n)
FDL editor aliases :  code-pair
Latex:
code-pair(a;b)  ==    t(a  +  b)  +  a


Date html generated: 2019_06_20-PM-02_39_02
Last ObjectModification: 2019_06_12-PM-00_27_17

Theory : num_thy_1


Home Index