Nuprl Definition : ses-new
New == fst(snd(s))
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
ses-new
Latex:
New == fst(snd(s))
Date html generated:
2015_07_23-PM-00_02_12
Last ObjectModification:
2012_08_30-PM-02_30_15
Home
Index