Nuprl Definition : orderedpair-snd

snd(pr) ==  singleitem(snds(pr))


Definitions occuring in Statement :  orderedpair-snds: snds(pr),  singleitem: singleitem(s)
Definitions occuring in definition :  orderedpair-snds: snds(pr),  singleitem: singleitem(s)
FDL editor aliases :  op-snd
Latex:
snd(pr)  ==    singleitem(snds(pr))


Date html generated: 2018_05_29-PM-01_49_12
Last ObjectModification: 2018_05_28-AM-10_19_09

Theory : constructive!set!theory


Home Index