Nuprl Definition : i-real
real(p) == snd(p)
Definitions occuring in Statement :
pi2: snd(t)
Definitions occuring in definition :
pi2: snd(t)
FDL editor aliases :
i-real
i-real
Latex:
real(p) == snd(p)
Date html generated:
2016_05_18-AM-08_44_36
Last ObjectModification:
2015_09_23-AM-09_07_41
Theory : reals
Home
Index