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 :  triangular-num: t(n),  add: n + m
FDL editor aliases :  code-pair
Latex:
code-pair(a;b)  ==    t(a  +  b)  +  a


Date html generated: 2016_05_15-PM-05_21_15
Last ObjectModification: 2015_09_23-AM-07_53_30

Theory : general


Home Index