Nuprl Definition : cocons

cocons(a;L) ==  <a, L>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  cocons
Latex:
cocons(a;L)  ==    <a,  L>


Date html generated: 2016_05_15-PM-10_11_01
Last ObjectModification: 2015_09_23-AM-08_22_30

Theory : eval!all


Home Index