Nuprl Definition : mk-pa

n(v) == <n, v>

Definitions occuring in Statement : pair: <a, b>
FDL editor aliases : mk-pa

Latex:
n(v) == <n, v> Date html generated: 2015_07_23-PM-00_14_54 Last ObjectModification: 2012_08_30-PM-04_31_01 Home Index