Nuprl Definition : orderedpair-fst
fst(pr) ==  singleitem(orderedpair-fsts(pr))
Definitions occuring in Statement : 
orderedpair-fsts: orderedpair-fsts(pr)
, 
singleitem: singleitem(s)
Definitions occuring in definition : 
orderedpair-fsts: orderedpair-fsts(pr)
, 
singleitem: singleitem(s)
FDL editor aliases : 
op-fst
Latex:
fst(pr)  ==    singleitem(orderedpair-fsts(pr))
Date html generated:
2018_05_29-PM-01_48_52
Last ObjectModification:
2018_05_28-AM-10_01_59
Theory : constructive!set!theory
Home
Index