Nuprl Definition : hdf-out
hdf-out(P;x) == snd(P(x))
Definitions occuring in Statement :
hdf-ap: X(a),
pi2: snd(t)
FDL editor aliases :
hdf-out
hdf-out(P;x) == snd(P(x))
Date html generated:
2015_07_17-AM-08_04_53
Last ObjectModification:
2012_11_23-PM-02_09_14
Home
Index