Nuprl Definition : pircv-chan
pircv-chan(v) == fst(snd(v))
Definitions occuring in Statement :
pi1: fst(t)
,
pi2: snd(t)
FDL editor aliases :
pircv-chan
Latex:
pircv-chan(v) == fst(snd(v))
Date html generated:
2015_07_23-AM-11_31_39
Last ObjectModification:
2014_05_04-PM-07_45_06
Home
Index