Nuprl Definition : RankEx2_UnionList-unionlist

RankEx2_UnionList-unionlist(v) ==  snd(v)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  RankEx2_UnionList-unionlist
Latex:
RankEx2\_UnionList-unionlist(v)  ==    snd(v)


Date html generated: 2016_05_16-AM-09_02_16
Last ObjectModification: 2014_05_06-PM-01_45_02

Theory : C-semantics


Home Index