Nuprl Definition : Comm-q

Comm-q(cSt) ==  fst(snd(cSt))


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  Comm-q
Latex:
Comm-q(cSt)  ==    fst(snd(cSt))


Date html generated: 2015_07_23-AM-11_58_18
Last ObjectModification: 2012_08_30-PM-01_48_46

Home Index