Nuprl Definition : combine-pcs

combine-pcs(X;Y) ==  let eqsX,ineqsX = X in let eqsY,ineqsY = Y in <eqsX @ eqsY, ineqsX @ ineqsY>


Definitions occuring in Statement :  append: as @ bs,  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  spread: spread def,  pair: <a, b>,  append: as @ bs
FDL editor aliases :  combine-pcs
Latex:
combine-pcs(X;Y)  ==    let  eqsX,ineqsX  =  X  in  let  eqsY,ineqsY  =  Y  in  <eqsX  @  eqsY,  ineqsX  @  ineqsY>


Date html generated: 2016_05_14-AM-07_08_04
Last ObjectModification: 2015_09_22-PM-05_52_54

Theory : omega


Home Index