Nuprl Definition : RankEx2_Union-union
RankEx2_Union-union(v) == snd(v)
Definitions occuring in Statement :
pi2: snd(t)
FDL editor aliases :
RankEx2_Union-union
RankEx2\_Union-union(v) == snd(v)
Date html generated:
2015_07_17-AM-07_49_51
Last ObjectModification:
2014_05_06-PM-01_44_05
Home
Index