Nuprl Definition : cons

[a b] ==  <a, b>



Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
Rules referencing :  barInduction
FDL editor aliases :  cons

Latex:
[a  /  b]  ==    <a,  b>



Date html generated: 2016_05_14-AM-06_25_49
Last ObjectModification: 2015_12_03-PM-02_04_43

Theory : list_0


Home Index